Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers Principles, Techniques, and Tools. Addison-Wesley, 1986.
2. Hassan Aït-Kaci. Warren's Abstract Machine: A Tutorial Reconstruction. The MIT Press, 1991.
3. Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 1992.
4. Isabelle Attali and Didier Parigot. Integrating natural semantics and attribute grammars: the Minotaur system. Research report N∘ 2339, INRJA, September 1994.
5. Henry G. Baker. CONS should not CONS its arguments, part II: Cheney on the M.T.A. ACM SIGPLAN Notices, 30(9):17–20, September 1995.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Specializing a meta-interpreter;Proceedings of the 15th International Conference on Managed Languages & Runtimes - ManLang '18;2018
2. A Language Designer's Workbench;Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software;2014-10-14
3. From Small-Step Semantics to Big-Step Semantics, Automatically;Lecture Notes in Computer Science;2013
4. LETOS - a lightweight execution tool for operational semantics;Software: Practice and Experience;1999-12-25
5. Extracting Purely Functional Contents from Logical Inductive Types;Lecture Notes in Computer Science