Syntactic Closures (1988)

Cached

Download Links

by Alan Bawden , Jonathan Rees
Citations:34 - 3 self

Documents Related by Co-Citation

149 Hygienic macro expansion – Eugene E Kohlbecker, Daniel P Friedman, Matthias Felleisen, Bruce F Duba - 1986
97 Macros that work – William Clinger, Jonathan Rees - 1991
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
33 Macro-by-example: Deriving syntactic transformations from their specifications – E E Kohlbecker, M Wand - 1987
11 Hygienic Macros Through Explicit Renaming – William Clinger - 1991
157 Revised report on the algorithmic language Scheme – W Clinger, J Rees - 1991
11 A syntactic closures macro facility – Christopher P Hanson - 1991
41 Syntactic abstraction – R K Dybvig, R Hieb, C Bruggeman - 1993
18 and Valeria de Paiva. Intuitionistic necessity revisited – G M Bierman - 1996
37 Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML – Steve Ganz - 2001
12 On a modal -calculus for S4 – Frank Pfenning, Hao-Chi Wong - 1995
14 Expansion-Passing Style: A General Macro Mechanism – R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes - 1988
38 A Module System for Scheme – Pavel Curtis, James Rauen - 1990
8 On Computational Interpretations of the Modal Logic S4 I. Cut Elimination – Jean Goubault-larrecq - 1996
445 The formulae-as-types notion of construction – W A Howard - 1980
240 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
5 The Scheme of Things: Implementing Lexically Scoped Macros – Jonathan Rees - 1993
80 Revised 4 report on the algorithmic language Scheme – William Clinger, Jonathan Rees (editors, H. Abelson, R. K. Dybvig, C. T. Haynes, G. J. Rozas, D. H. Bartley, R. Halstead, D. Oxley, G. J. Sussman, G. Brooks, C. Hanson, K. M. Pitman, M. Wand - 1991
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981