Eugene Kohlbecker
Matthias Felleisen
- 1.BARENDRZGT, H. 1a. Introduction to the lambda calculus. Niestv Archi~! voor Wisenlmnde ~ 4 (1984), 337-372.Google Scholar
- 2.BARZNDRZGT, H. P. The L4mbdg Calcsdus: Its Sintaz and Semantics Revised Edition. North-Holland, Amsterdam, 1984.Google Scholar
- 3.CUNGZa, W. D., (ZO.). The revised revised report on Scheme. Joint Technical i~port Indiana University and MiT Laboratory for Computer Science, 1985.Google Scholar
- 4.KLEENI~, STEPHEN COLE. lntrodssction to Metamathematics, Van Nostrand, New York, 1952.Google Scholar
- 5.MOILROY, M. DOUGLAS. M~IAt::rO instruction extensions of compiler languages. CA CA/S, 4 (1960), 214-220. Google ScholarDigital Library
- 6.STEELE, GUY L., JR. Common {,s~p: /he Zanguage. Digital Pteas, 1984. Google ScholarDigital Library
- 7.STEELE, GUY L., JR. AND GgRALD J. $USSMAN. The revised report on Scheme, a dialect of Lisp. Memo 452, MiT AI-Lab, 1978.Google Scholar
Recommendations
Hygienic macro technology
The fully parenthesized Cambridge Polish syntax of Lisp, originally regarded as a temporary expedient to be replaced by more conventional syntax, possesses a peculiar virtue: A read procedure can parse it without knowing the syntax of any expressions, ...
Hygienic quasiquotation in scheme
Scheme '12: Proceedings of the 2012 Annual Workshop on Scheme and Functional ProgrammingQuasiquotation in Scheme is nearly ideal for implementing programs that generate other programs. These programs lack only the ability to generate fresh bound identifiers, as required to make such code-manipulating programs hygienic, but any Scheme ...
Squid: type-safe, hygienic, and reusable quasiquotes
SCALA 2017: Proceedings of the 8th ACM SIGPLAN International Symposium on ScalaQuasiquotes have been shown to greatly simplify the task of metaprogramming. This is in part because they hide the data structures of the intermediate representation (IR), instead allowing metaprogrammers to use the concrete syntax of the language they ...
Comments