Articles on MultiStage Programming by PLT members
New:
Previously Published:

Environment Classifiers.
POPL'03.
dvi, ps, pdf.

Tagless Staged Interpreters for Typed Languages.
ICFP'02.
dvi, ps, pdf.

Towards a Primitive Higher Order Calculus of Broadcasting Systems.
PPDP'02.
dvi, ps, pdf.
(Supercedes
ps,
pdf and longer version
dvi,
ps,
pdf.)

Eventdriven FRP. PADL'02. dvi, ps, pdf.

Functional Programming for Real Applications (Invited
Paper). ES'01. dvi, ps, pdf.

RealTime FRP. ICFP'01.
dvi,
ps,
pdf.

Macros as MultiStage Computations. ICFP'01.
dvi,
ps,
pdf.
(Revising Mar 15, 2001
dvi,
ps,
pdf.)

Tag Elimination and JonesOptimality (Preliminary Report). PADOII.
dvi,
ps,
pdf.
(Revising: Jan 24, 2001 short dvi,
ps,
pdf, and long dvi,
ps,
pdf.)

Tag Elimination  or  Type Specialisation is a TypeIndexed Effect.
DTP'00. dvi,
ps,
pdf.
(Revising: Jan 24, 2000
ps,
pdf.)

Closed Types as a Simple Approach to Safe Imperative MultiStage Programming.
ICALP'00.
dvi,
ps,
pdf
(Revision of: dvi,
ps,
pdf)

Sound Reductions for Untyped CBN MetaML. PEPM'00
dvi,
ps,
pdf
TR
dvi,
ps,
pdf.

Logical Modalities and MultiStage Programming, IMLA'99.
dvi,
ps,
pdf.

Idealized MetaML: Simpler, and More Expressive, ESOP'99.
ps,
pdf
.

The Anatomy of a Component Generation System, PSE'98.
ps,
pdf.

MultiStage Programming: Axiomatization and TypeSafety, ICALP'98.
ps,
pdf.

How to add laziness to a strict language, SML'98.
dvi,
ps,
pdf

MultiStage Programming with Explicit Annotations, PEPM'97.
ps,
pdf.
TCS'00
ps,
pdf.
The online bibliographies CCSB,
Cora
and DBLP,
ResearchIndex
provide useful tools.