Fast Binding-Time Analysis for Multi-Level Specialization

Multi-stage programming (poster)

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming

Multi-stage programming with explicit annotations

PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

An Automatic Program Generator for Multi-Level Specialization

Lisp and Symbolic Computation

A sound reduction semantics for untyped CBN mutli-stage computation. Or, the theory of MetaML is non-trival (extended abstract)

PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation

Macros as multi-stage computations: type-safe, generative, binding macros in MacroML

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming

Environment classifiers

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Certifying Compilation and Run-Time Code Generation

Higher-Order and Symbolic Computation

Multi-Level Specialization (Extended Abstract)

Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School

Fragmental Specialization

SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation

Directions in Functional Programming for Real(-Time) Applications

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software

Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All

PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics

Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming

ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming

Implementing multi-stage languages using ASTs, Gensym, and reflection

Proceedings of the 2nd international conference on Generative programming and component engineering

Closed types for a safe imperative MetaML

Journal of Functional Programming

Combinators for program generation

Journal of Functional Programming

Optimizing ML with run-time code generation

ACM SIGPLAN Notices - Best of PLDI 1979-1999

Accomplishments and research challenges in meta-programming

SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation