Author:
van Bakel Steffen,Lengrand Stéphane,Lescanne Pierre
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Abadi, M., Cardelli, L., Curien, P.-L., Lévy, J.-J.: Explicit substitutions. Journal of Functional Programming 1(4), 375–416 (1991)
2. Appel, A.W., Jim, T.: Continuation-passing, closure-passing style. In: POPL1989, pp. 293–302 (1989)
3. van Bakel, S., Raghunandan, J.: Implementing X. In: TermGraph 2004, ENTCS (2005)
4. van Bakel, S., Raghunandan, J., Summers, A.: Term Graphs, α-conversion and Principal Types for χ (2005)
5. Barbanera, F., Berardi, S.: A symmetric lambda calculus for classical program extraction. Information and Computation 125(2), 103–117 (1996)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献