Currently very incomplete. Pull requests welcome! Note: end a line with two spaces to force a line break.
-
Program Generation for ML Modules (short paper) (PEPM 2018)
(paper)
by Takahisa Watanabe and Yukiyoshi Kameyama -
Partially static data as free extension of algebras (short paper) (PEPM 2018)
(paper)
by Jeremy Yallop, Tamara von Glehn and Ohad Kammar
-
Staging with Control: Type-Safe Multi-stage Programming with Control Operators (GPCE 2017)
(paper)
Junpei Oishi, Yukiyoshi Kameyama -
Staged generic programming (ICFP 2017)
(paper)
by Jeremy Yallop -
Refining Semantics for Multi-Stage Programming (GPCE 2017)
(paper)
by Rui Ge and Ronald Garcia -
Stream Fusion, to Completeness (POPL 2017)
(paper)
by Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos and Yannis Smaragdakis
-
Refined Environment Classifiers: Type- and Scope-safe Code Generation with Mutable Cells (APLAS 2016)
(paper)
by Oleg Kiselyov, Yukiyoshi Kameyama and Yuto Sudo -
Reasoning about multi-stage programs (JFP 2016)
by Jun Inoue and Walid Taha -
Staging Beyond Terms: Prospects and Challenges (PEPM 2016)
(paper)
by Jun Inoue, Oleg Kiselyov and Yukiyoshi Kameyama -
Automatic Staging via Partial Evaluation Techniques (SCSS 2016)
(paper)
by Kenichi Asai and Yukiyoshi Kameyama -
Toward Introducing Binding-Time Analysis to MetaOCaml (PEPM 2016)
(paper)
by Kenichi Asai -
Generic partially-static data (TyDe 2016)
(extended abstract)
by David Kaloper-Meršinjak and Jeremy Yallop -
Staging generic programming (PEPM 2016)
(paper)
by Jeremy Yallop
-
The design and implementation of MetaOCaml (FLOPS 2014)
(paper)
by Oleg Kiselyov -
Compiling a Reflective Language using MetaOCaml (GPCE 2014)
by Kenichi Asai -
Supercompiling with Staging (META 2014)
(paper)
by Jun Inoue -
Modular macros (OCaml 2015)
(extended abstract)
by Jeremy Yallop and Leo White
- Shonan Challenge for Generative Programming (PEPM 2013)
(paper)
by Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov and Chung-chieh Shan
- Reasoning about Multi-Stage Programs (ESOP 2012)
(paper)
by Jun Inoue and Walid Taha
-
Generative Geometric Kernel (PEPM 2011)
(paper)
by Jacques Carette, Mustafa Elsheikh and Spencer Smith -
Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (GPCE 2005, SCP 2011)
(GPCE 2005 paper) (SCP 2011 paper)
by Jacques Carette and Oleg Kiselyov -
Shifting the Stage: staging with delimited control (JFP 2011)
(paper)
by Yukiyoshi Kameyama, Oleg Kiselyov and Chung-chieh Shan
- Multi-Stage Programming for High-Level Description of Circuit Families (CISP 2010)
by Fulong Chen, Walid Taha and Lei Deng
- Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages (JFP 19(5), 2009)
(paper)
by Jacques Carette, Oleg Kiselyov and Chung-chieh Shan
- A Gentle Introduction to Multi-stage Programming, Part II (GTTSE 2007)
(paper)
by Walid Taha
-
Gaussian Elimination: a case study in efficient genericity with MetaOCaml (SCP 2006)
(paper)
by Jacques Carette -
A Monadic Approach for Avoiding Code Duplication (PEPM 2006)
(paper)
by Kedar Swadi, Walid Taha, Oleg Kiselyov and Emir Pasalic
- Implicitly Heterogeneous Multi-Stage Programming (GPCE 2005)
(extended)
by Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar Swadi and Walid Taha
-
Binding-Time Analysis for MetaML via Type Inference and Constraint Solving (TACAS 2004)
by Nathan Linger and Tim Sheard -
DSL Implementation in MetaOCaml, Template Haskell, and C++ (DSPG 2004)
(paper)
by Krzysztof Czarnecki, John O’Donnell, Jörg Striegnitz and Walid Taha -
A Gentle Introduction to Multi-stage Programming (DSPG 2004)
(paper)
by Walid Taha -
A Methodology for Generating Verified Combinatorial Circuits (EMSOFT 2004)
(paper)
by Oleg Kiselyov, Kedar N. Swadi and Walid Taha -
ML-like Inference for Classifiers (ESOP 2004)
(paper)
by Cristiano Calcagno, Eugenio Moggi and Walid Taha
-
Closed Types for a Safe Imperative MetaML (JFP 2003)
(paper)
by Cristiano Calcagno, Eugenio Moggi and Tim Sheard -
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection (GPCE 2003)
(paper)
by Cristiano Calcagno, Walid Taha, Liwen Huang and Xavier Leroy -
Staged Notational Definitions (GPCE 2003)
(paper)
by Walid Taha and Patricia Johann -
Environment Classifiers (POPL 2003)
(paper)
by Walid Taha and Michael Florentin Nielsen
- Tagless Staged Interpreters for Typed Languages (ICFP 2002)
(paper)
by Emir Pasalic, Walid Taha and Tim Sheard
-
Accomplishments and Research Challenges in Meta-prgoramming (SAIG 2001)
(paper)
by Tim Sheard -
Dynamically Adaptable Software with Metacomputations in a Staged Language (SAIG 2001)
(paper)
by William L. Harrison and Tim Sheard -
Macros as Multi-Stage Computations (ICFP 2001)
(paper)
by Steven E. Ganz, Amr Sabry and Walid Taha
-
Multi-Stage Programming with Explicit Annotations (PEPM 1997, TCS 2000)
(PEPM 1997 paper)
(TCS 2000) by Walid Taha and Tim Sheard -
Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming (ICALP 2000)
(paper)
by Cristiano Calcagno, Eugenio Moggi and Walid Taha -
Sound Reductions for Untyped CBN MetaML (PEPM 2000)
(paper) by Walid Taha
-
DSL Implementation Using Staging and Monads (DSL 1999)
(paper)
by Tim Sheard, Zine-el-abidine Benaissa and Pasalic, Emir -
Logical Modalities and Multi-Stage Programming (IMLA 1999)
(paper)
by Zine-El-Abidine Benaissa, Eugenio Moggi, Walid Taha and Tim Sheard -
Idealized MetaML: Simpler, and More Expressive (ESOP 1999)
(paper)
by Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa and Tim Sheard
-
Using MetaML: A Staged Programming Language (Advanced Functional Prog ramming 1998)
(paper)
by Tim Sheard -
Multi-Stage Programming: Axiomatization and Type-Safety (ICALP 1998)
(paper)
by Walid Taha, Zine-El-Abidine Benaissa and Tim Sheard
- Multi-Stage Programming (poster at ICFP 1997)
by Walid Taha and Tim Sheard
Status of links at last commit:
