Author:
Sig Ager Mads,Danvy Olivier,Goldberg Mayer
Publisher
Springer Berlin Heidelberg
Reference62 articles.
1. Harold Abelson and Gerald Jay Sussman with Julie Sussman. Structure and Interpretation of Computer Programs. The MIT Press, Cambridge, Massachusetts, 1985.
2. Lect Notes Comput Sci;S. M. Abramov,2000
3. Technical report;S. M. Abramov,2002
4. Technical Report BRICS RS-02-37;M. Ager Sig,2002
5. Thorsten Altenkirch, Peter Dybjer, Martin Hofmann, and Philip Scott. Normalization by evaluation for typed lambda calculus with coproducts. In Joseph Halpern, editor, Proceedings of the Sixteenth Annual IEEE Symposium on Logic in Computer Science, pages 203–210, Boston, Massachusetts, June 2001. IEEE Computer Society Press.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Rational Deconstruction of Landin’s SECD Machine;Implementation and Application of Functional Languages;2005