Author:
Sabry AMR,Felleisen Matthias
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software,General Computer Science
Reference49 articles.
1. Allison, L.A Practical Introduction to Denotational Semantics. Volume 23 ofCambridge Computer Science Texts, Cambridge University Press (1986).
2. Appel, A.Compiling with Continuations. Cambridge University Press (1992).
3. Appel, A. and Jim, T. Continuation-passing, closure-passing style. InConference Record of the 16th ACM Symposium on Principles of Programming Languages (1989) 293?302.
4. Barendregt, H. P.The Lambda Calculus: Its Syntax and Semantics. Volume 103 ofStudies in Logic and the Foundations of Mathematics, North-Holland, revised edition (1984).
5. Bartley, D. H. and Jensen, J. C. The implementation of PC Scheme. InProceedings of the ACM Conference on Lisp and Functional Programming (1986) 86?93.
Cited by
130 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The logical essence of call-by-name CPS translations;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. Generating C: Heterogeneous metaprogramming system description;Science of Computer Programming;2024-01
3. Focusing on Refinement Typing;ACM Transactions on Programming Languages and Systems;2023-12-20
4. Capturing Types;ACM Transactions on Programming Languages and Systems;2023-11-20
5. Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types;Proceedings of the ACM on Programming Languages;2023-08-30