|
79
|
Multi-Stage Programming: Its Theory and Applications
– Walid Taha
- 1999
|
|
90
|
A Partial Evaluator for the Untyped Lambda Calculus
– Carsten K. Gomard, Neil D. Jones
- 1991
|
|
265
|
The Lambda Calculus: Its Syntax and Semantics, volume 103
– H P Barendregt
- 1984
|
|
133
|
Hygienic Macro Expansion
– Eugene Kohlbecker, Daniel P Friedman, Matthias Felleisen, Bruce Duba
- 1986
|
|
2
|
Opensparc t1 processor file: mul64.v. http://open sparc-t1.sunsource.net/nonav/source/verilog/html/mul64.v
– Sun Microsystems
|
|
8
|
and Hanne Riis Nielson. Two-level semantics and code generation
– Flemming Nielson
- 1988
|
|
2
|
Or1200’s 32x32 multiply for asic. http://www.opencores
– Opencores org
|
|
2
|
A.: SRFI 72: Hygienic macros
– van Tonder
- 2005
|
|
488
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
31
|
Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML
– Steve Ganz
- 2001
|
|
14
|
Linguistic Reuse
– Shriram Krishnamurthi
- 2001
|
|
86
|
Macros that Work
– William Clinger, Jonathan Rees
- 1991
|
|
35
|
Syntactic abstraction
– R K Dybvig, R Hieb, C Bruggeman
- 1993
|
|
29
|
Two-level semantics and code generation
– Flemming Nielson, Hanne Riis Nielson
- 1988
|
|
27
|
A theory of binding structures and applications to rewriting
– C Talcott
- 1993
|
|
8
|
Compile-time meta-programming in a dynamically typed OO language
– Laurence Tratt
- 2005
|
|
100
|
Programmable Syntax Macros
– Daniel Weise, Roger Crew
- 1993
|
|
46
|
Nominal Unification
– Christian Urban, Andrew Pitts, Murdoch Gabbay
- 2003
|
|
122
|
Linear Types Can Change the World!
– Philip Wadler
- 1990
|
