|
20
|
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
|
|
206
|
A Formulae-as-Types Notion of Control
– Timothy G. Griffin
- 1990
|
|
1
|
Automata via Macros
– Shriram Krishnamurthi
|
|
29
|
Syntactic Closures
– Alan Bawden, Jonathan Rees
- 1988
|
|
116
|
On the Expressive Power of Programming Languages
– Matthias Felleisen
- 1990
|
|
13
|
Design and Semantics of Quantum: a Language to Control Resource Consumption in Distributed Computing
– Luc Moreau, Christian Queinnec
- 1997
|
|
30
|
Extensible Denotational Language Specifications
– Robert Cartwright, Matthias Felleisen
- 1994
|
|
14
|
Modules, Macros and Lisp
– Christian Queinnec, Julian Padget
- 1990
|
|
2
|
Towards Leakage Containment
– Julia L. Lawall, Daniel P. Friedman
- 1992
|
|
18
|
Compiling Standard ML For Efficient Execution On Modern Machines
– Zhong Shao
- 1994
|
|
|
On the Idempotence of the CPS Transformation
– Olivier Danvy, Karoline Malmkjær
- 1996
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
26
|
A Syntactic Theory of Dynamic Binding
– Luc Moreau
- 1997
|
|
53
|
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
|
|
8
|
Writing Hygienic Macros in Scheme with Syntax-Case
– Kent Dybvig
- 1992
|
