Author:
Ager Mads Sig,Danvy Olivier,Midtgaard Jan
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference28 articles.
1. A functional correspondence between evaluators and abstract machines;Ager,2003
2. M.S. Ager, O. Danvy, J. Midtgaard, A functional correspondence between monadic evaluators and abstract machines for languages with computational effects, Technical Report BRICS RS-03-35, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, 2003
3. Modern Compiler Implementation in {C, Java, ML};Appel,1998
4. The call-by-need lambda calculus;Ariola,1995
5. Design and correctness of program transformations based on control-flow analysis;Banerjee,2001
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献