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

Active Bibliography

37 Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML – Steve Ganz - 2001
27 Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming – Cristiano Calcagno , Eugenio Moggi, Walid Taha - 2000
86 Multi-Stage Programming: Its Theory and Applications – Walid Taha - 1999
27 Ml-like inference for classifiers – Cristiano Calcagno, Eugenio Moggi, Walid Taha - 2004
53 Tagless Staged Interpreters for Typed Languages – Emir Pasalic, Walid Taha, Tim Sheard - 2002
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
7 Generating heap-bounded programs in a functional setting – Walid Taha, Stephan Ellner, Hongwei Xi - 2003
32 Closed Types for a Safe Imperative MetaML – C. Calcagno, E. Moggi, T. Sheard - 2001
Staging Purely Functional Dynamic Programming Algorithms – Kedar N. Swadi, Walid Taha, Oleg Kiselyov , et al.
4 Multi-Stage Imperative Languages: A Conservative Extension Result – Cristiano Calcagno, Eugenio Moggi - 2000
15 A Monadic Multi-stage Metalanguage – E. Moggi, S. Fagorzi - 2003
Constructive Linear-Time Temporal Logic: Proof Systems and Kripke Semantics – Kensuke Kojima, Atsushi Igarashi
2 Reasoning about Code Generation in Two-Level Languages – Zhe Yang - 2000
1 Practical aspects of multi-stage programming, rice University – Jason L. Eckhardt, Roumen Kaiabachev, Kedar N. Swadi, Walid Taha - 2004
49 A gentle introduction to multi-stage programming – Walid Taha - 2004
1 A logical foundation for environment classifiers, in – Takeshi Tsukada, Atsushi Igarashi
9 Staged Computation with Names and Necessity – Aleksandar Nanevski, Frank Pfenning - 2005
6 Program Generation, Termination, and Binding-time Analysis – Neil D. Jones, Arne J. Glenstrup - 2002
2 Deriving Compilers and Virtual Machines for a Multi-Level Language – Atsushi Igarashi, Masashi Iwaki