Tagless Staged Interpreters for Typed Languages (2002)

by Emir Pasalic , Walid Taha , Tim Sheard
Venue:In the International Conference on Functional Programming (ICFP ’02
Citations:53 - 11 self

Documents Related by Co-Citation

129 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
173 Template Meta-programming for Haskell – Tim Sheard, Simon Peyton Jones - 2002
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
315 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
239 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
86 Multi-Stage Programming: Its Theory and Applications – Walid Taha - 1999
23 An exercise in dependent types: A well-typed interpreter – Lennart Augustsson, Magnus Carlsson - 1999
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
151 The view from the left – Conor McBride, James McKinna
43 M.F.: Environment classifiers – W Taha, Nielsen - 2003
21 Tag Elimination and Jones-Optimality – Walid Taha, Henning Makholm, John Hughes
219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
207 Type-directed partial evaluation – Olivier Danvy - 1996
126 Domain Specific Embedded Compilers – Daan Leijen, Erik Meijer - 1999
12 K.: A verified staged interpreter is a verified compiler – E Brady, Hammond - 2006
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
57 Typing dynamic typing – Arthur I. Baars, S. Doaitse Swierstra - 2002
159 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
229 Foundational Proof-Carrying Code – Andrew W. Appel - 2001