Author:
Downen Paul,Maurer Luke,Ariola Zena M.,Varacca Daniele
Reference22 articles.
1. B. Accattoli. Evaluating functions as processes. In TERMGRAPH, pages 41--55, 2013.
2. M. S. Ager, D. Biernacki, O. Danvy, and J. Midtgaard. A functional correspondence between evaluators and abstract machines. In PPDP, pages 8--19, 2003.
3. R. Amadio. A decompilation of the pi-calculus and its application to termination. (CNRS 7126), 2011.
4. Z. M. Ariola and M. Felleisen. The call-by-need lambda calculus. JFP, 7(3):265--301, 1997.
5. Z. M. Ariola and J. W. Klop. Lambda calculus with explicit recursion. IC, 139, 1996.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献