A modal analysis of staged computation

Optimizing ML with run-time code generation

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation

Type-directed partial evaluation

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

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

Dynamic typing as staged type inference

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Run-time code generation and modal-ML

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation

Modal types as staging specifications for run-time code generation

ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue

Dynamic specialization in the Fabius system

ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue

Encoding types in ML-like languages

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming

A core calculus of dependency

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

On the logical foundations of staged computation (invited talk)

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

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

A modal analysis of staged computation

Journal of the ACM (JACM)

Primitive recursion for higher-order abstract syntax

Theoretical Computer Science

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

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming

Composable and compilable macros:: you want it when?

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming

Meta-programming with names and necessity

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming

Tagless staged interpreters for typed languages

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming

Environment classifiers

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

Compiling Embedded Programs to Byte Code

PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages

Reasoning about Staged Computation

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

Multi-Stage Imperative Languages: A Conservative Extension Result

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

A Modal Lambda Calculus with Iteration and Case Constructs

TYPES '98 Selected papers from the International Workshop on Types for Proofs and Programs

On the Logical Content of Computational Type Theory: A Solution to Curry's Problem

TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs

Directions in Functional Programming for Real(-Time) Applications

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

Categorical and Kripke Semantics for Constructive S4 Modal Logic

CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic

An Idealized MetaML: Simpler, and More Expressive

ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems

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

A temporal-logic approach to binding-time analysis

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science

From dynamic binding to state via modal possibility

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming

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

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

Special issue: Modalities in type theory

Mathematical Structures in Computer Science

A judgmental reconstruction of modal logic

Mathematical Structures in Computer Science

Recursion over objects of functional type

Mathematical Structures in Computer Science

A computational formalization for partial evaluation

Mathematical Structures in Computer Science

Closed types for a safe imperative MetaML

Journal of Functional Programming

Inlining as staged computation

Journal of Functional Programming

Compiling for template-based run-time code generation

Journal of Functional Programming

Optimizing ML with run-time code generation

ACM SIGPLAN Notices - Best of PLDI 1979-1999

Encoding types in ML-like languages

Theoretical Computer Science - Mathematical foundations of programming semantics

Pattern matching as cut elimination

Theoretical Computer Science

A polymorphic modal type system for lisp-like multi-staged languages

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Expressive programs through presentation extension

Proceedings of the 6th international conference on Aspect-oriented software development

Programming Languages For Interactive Computing

Electronic Notes in Theoretical Computer Science (ENTCS)

The Intensional Lambda Calculus

LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science

Abstract parsing for two-staged languages with concatenation

GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering

A monadic multi-stage metalanguage

FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software

MetaKlaim: meta-programming for global computing

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

Justification logic and history based computation

ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing

Static analysis of multi-staged programs via unstaging translation

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Strong normalization and confluence for reflexive combinatory logic

WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation

Cut-free Gentzen calculus for multimodal CK

Information and Computation

Static and user-extensible proof checking

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Explicitly heterogeneous metaprogramming with MetaHaskell

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming

Shonan challenge for generative programming: short position paper

PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation

Intuitionistic Hypothetical Logic of Proofs

Electronic Notes in Theoretical Computer Science (ENTCS)