Expansion-Passing Style: A General Macro Mechanism (1988)

Cached

Download Links

by R. Kent Dybvig , Daniel P. Friedman , Christopher T. Haynes
Venue:Lisp and Symbolic Computation
Citations:14 - 1 self

Active Bibliography

23 Syntactic Abstraction in Scheme – Robert Hieb, R. Kent Dybvig, Carl Bruggeman - 1992
7 A confluent calculus of macro expansion and evaluation – Ana Bove, Laura Arbillay - 1992
3 Merging Interactive, Modular, and Object-Oriented Programming – Sho-Huan Simon Tung - 1992
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
240 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
1 Automata via Macros – Shriram Krishnamurthi
34 Syntactic Closures – Alan Bawden, Jonathan Rees - 1988
132 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
14 Design and Semantics of Quantum: a Language to Control Resource Consumption in Distributed Computing – Luc Moreau, Christian Queinnec - 1997
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
2 Towards Leakage Containment – Julia L. Lawall, Daniel P. Friedman - 1992
14 Modules, Macros and Lisp – Christian Queinnec, Julian Padget - 1990
32 A Syntactic Theory of Dynamic Binding – Luc Moreau - 1997
On the Idempotence of the CPS Transformation РOlivier Danvy, Karoline Malmkjær - 1996
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
60 Proper Tail Recursion and Space Efficiency – William D. Clinger - 1998
28 DDD: A System for Mechanized Digital Design Derivation – Steven D. Johnson, Bhaskar Bose - 1997
.1 Knowledge Representation View – Software Is Used