Author:
Ariola Zena M.,Klop Jan Willem
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference60 articles.
1. Graph rewriting systems for efficient compilation;Ariola,1993
2. Properties of a first-order functional language with sharing;Ariola;Theoret. Comput. Sci.,1995
3. Explicit substitutions;Abadi;J. Funct. Programming,1991
4. The call-by-need lambda calculus;Ariola;J. Funct. Programming,1997
5. Z. M. Ariola, M. Felleisen, J. Maraist, M. Odersky, P. Wadler, 1995, The call-by-need lambda calculus, Proceedings, ACM Conference on Principles of Programming Languages, 233, 246
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献