Type Safe Abstractions Using Program Generators (1995)

Cached

Download Links

by Tim Sheard , Neal Nelson
Citations:16 - 1 self

Documents Related by Co-Citation

24 Automatic generation and use of abstract structure operators – T Sheard - 1991
59 Efficient Multi-level Generating Extensions for Program Specialization – Robert Glück, Jesper Jørgensen - 1995
93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
237 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
97 Macros that work – W Clinger, J Rees - 1991
149 Hygienic macro expansion – Eugene Kohlbecker, Daniel Friedman, Matthias Felleisen, Bruce Duba
81 A temporal-logic approach to binding-time analysis – Rowan Davies - 1996
207 Type-directed partial evaluation – Olivier Danvy - 1996
4 Rationale and Support for Domain Specific Languages, USC/Information Sciences Institute, available at http://www.isi.edu/software-sciences/dssa/dssls/dssls.html – B Balzer, N Goldman, D Wile
4 Software design for reliabiity and reuse: A proof-of-concept demonstration, TRI-Ada '94 – J Bell, F Bellegarde, J Hook, R B Kieburtz, A Kotov, J Lewis, L McKinney, D P Oliva, T Shear, L Tong, L Walton, T Zhou
3 Building domain-specific embedded languages, position paper for – P Hudak - 1996
36 Polymorphic binding-time analysis – F Henglein, C Mossin - 1994
45 and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts – Flemming Nielson - 1992
329 Theorems for free! – Philip Wadler - 1989
190 Reflection and semantics in lisp – Brian Cantwell Smith - 1984
12 Polynomial Polymorphism – C. Barry Jay - 1995
75 Adaptive Object-Oriented Programming using Graph-Based Customization – Karl J. Lieberherr, Ignacio Silva-Lepe, Cun Xiao - 1994
28 Polytypic Pattern Matching – Johan Jeuring - 1995
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995