|
201
|
MetaML and Multi-Stage Programming with Explicit Annotations
– Walid Taha, Tim Sheard
- 1999
|
|
77
|
A temporal-logic approach to binding-time analysis
– Rowan Davies
- 1996
|
|
165
|
A Modal Analysis of Staged Computation
– Rowan Davies, Frank Pfenning
- 1996
|
|
28
|
A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract)
– Walid Taha
- 2000
|
|
33
|
Multi-Stage Programming: Axiomatization and Type Safety (Extended Abstract)
– Walid Taha, Zine-el-abidine Benaissa, Tim Sheard
- 1998
|
|
35
|
Environment classifiers, in
– W Taha, M F Nielsen
- 2003
|
|
90
|
A Partial Evaluator for the Untyped Lambda Calculus
– Carsten K. Gomard, Neil D. Jones
- 1991
|
|
17
|
Graduate Institute Technical Reports
– Oregon
|
|
40
|
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection
– Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy
- 2003
|
|
135
|
Template Meta-programming for Haskell
– Tim Sheard, Simon Peyton Jones
- 2002
|
|
593
|
Partial Evaluation and Automatic Program Generation
– N D Jones, C K Gomard, P Sestoft
- 1993
|
|
490
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
32
|
A Computational Formalization for Partial Evaluation
– John Hatcliff, Olivier Danvy, I Ff, Ol
- 1997
|
|
28
|
Closed Types for a Safe Imperative MetaML
– C. Calcagno, E. Moggi, T. Sheard
- 2001
|
|
31
|
Meta-Programming with Names and Necessity
– Aleksandar Nanevski, Frank Pfenning
- 2002
|
|
15
|
Functor Categories and Two-Level Languages
– E. Moggi
- 1998
|
|
21
|
Fast Binding-Time Analysis for Multi-Level Specialization
– Robert Glück, Jesper Jørgensen
- 1996
|
|
43
|
Tagless Staged Interpreters for Typed Languages
– Emir Pasalic, Walid Taha, Tim Sheard
- 2002
|
|
29
|
An Idealized MetaML: Simpler, and More Expressive
– Eugenio Moggi, Walid Taha, Zine El-abidine Benaissa, Tim Sheard
- 1999
|
