
New: Published: o Generating HeapBounded Programs in a Functional Setting. EMSOFT'03. dvi, ps, pdf. o Staged Notational Definitions. GPCE'2003. dvi, ps, pdf. o Implementing
Multistage Languages using ASTs, gensym, and reflection. GPCE'03. dvi, ps, pdf. o Environment Classifiers. POPL'03. dvi, ps, pdf. o Tagless Staged Interpreters for Typed Languages. ICFP'02. dvi, ps, pdf. o Towards a Primitive Higher Order Calculus of
Broadcasting Systems. PPDP'02. dvi, ps, pdf. (Supercedes ps, pdf and longer version dvi, ps, pdf.) o Eventdriven FRP. PADL'02. dvi, ps, pdf. o Functional Programming for Real Applications
(Invited Paper). ES'01. dvi, ps, pdf. o RealTime FRP. ICFP'01. dvi, ps, pdf. o Macros as MultiStage Computations. ICFP'01. dvi, ps, pdf. (Revising Mar 15, 2001 dvi, ps, pdf.) o Tag Elimination and JonesOptimality (Preliminary
Report). PADOII. dvi, ps, pdf. (Revising: Jan
24, 2001 short dvi, ps, pdf, and long dvi, ps, pdf.) o Tag Elimination  or  Type Specialisation is a
TypeIndexed Effect. DTP'00. dvi, ps, pdf. (Revising: Jan 24,
2000 ps, pdf.) o Closed Types as a Simple Approach to Safe
Imperative MultiStage Programming. ICALP'00.
dvi, ps, pdf (Revision of: dvi, ps, pdf) o Sound Reductions for Untyped CBN MetaML. PEPM'00 dvi, ps, pdf TR dvi, ps, pdf. o Logical Modalities and MultiStage Programming, IMLA'99. dvi, ps, pdf. o Idealized MetaML: Simpler, and More Expressive, ESOP'99. ps, pdf. o The Anatomy of a Component Generation System, PSE'98. ps,
pdf. o MultiStage Programming: Axiomatization and
TypeSafety, ICALP'98. ps, pdf. o How to add laziness to a strict language, SML'98. dvi,
ps, pdf o MultiStage Programming with Explicit Annotations, PEPM'97. ps, pdf. TCS'00 ps, pdf. Other: o Multistage
Programming: Its Theory and
Applications. PhD dissertation. pdf The online bibliographies CCSB, DBLP, ResearchIndex provide useful tools. 
