Staged Notational Definitions (2003)

by Walid Taha , Patricia Johann
Venue:GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING (GPCE), LECTURE NOTES IN COMPUTER SCIENCE
Citations:7 - 3 self

Documents Related by Co-Citation

149 Hygienic macro expansion – Eugene E Kohlbecker, Daniel P Friedman, Matthias Felleisen, Bruce F Duba - 1986
93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
283 The Lambda Calculus: Its Syntax and Semantics. Volume 103 – H P Barendregt - 1984
86 Multi-Stage Programming: Its Theory and Applications – Walid Taha - 1999
15 Linguistic Reuse – S Krishnamurthi - 2001
41 Syntactic abstraction – R K Dybvig, R Hieb, C Bruggeman - 1993
37 Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML – Steve Ganz - 2001
97 Macros that work – William Clinger, Jonathan Rees - 1991
2 Opensparc t1 processor file: mul64.v. http://open sparc-t1.sunsource.net/nonav/source/verilog/html/mul64.v – Sun Microsystems
2 Or1200’s 32x32 multiply for asic. http://www.opencores – Opencores org
8 and Hanne Riis Nielson. Two-level semantics and code generation – Flemming Nielson - 1988
3 SRFI 72: Hygienic macros – Andre Van Tonder - 2012
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
11 B.C.: Design issues in advanced module systems – R Harper, Pierce - 2004
3 Programming in MODULA-2 (3rd corrected ed – N Wirth - 1985
2 Modules in scheme – C Queinnec - 2002
2 Bigloo: A “practical Scheme compiler”. 2.7a edn – M Serrano - 2005
2 M.: Scheme48 Reference Manual. 1.1 edn. (2005) http://s48.org/1.1/manual/s48manual.html. Flatt, M., Felleisen, M.: Units: Cool modules for HOT languages – R Kelsey, J Rees, Sperber - 1998
14 First-class macros have types – Alan Bawden - 2000