Articles on Multi-Stage Programming by PLT members

New:

• 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.)
• Event-driven FRP. PADL'02. dvi, ps, pdf.
• Functional Programming for Real Applications (Invited Paper). ES'01. dvi, ps, pdf.
• Real-Time FRP. ICFP'01. dvi, ps, pdf.
• Macros as Multi-Stage Computations. ICFP'01. dvi, ps, pdf. (Revising Mar 15, 2001 dvi, ps, pdf.)
• Tag Elimination and Jones-Optimality (Preliminary Report).  PADO-II.  dvi, ps, pdf.  (Revising:  Jan 24, 2001 short dvi, ps, pdf, and long dvi, ps, pdf.)
• Tag Elimination - or - Type Specialisation is a Type-Indexed Effect. DTP'00. dvi, ps, pdf. (Revising: Jan 24, 2000 ps, pdf.)
• Closed Types as a Simple Approach to Safe Imperative Multi-Stage 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 Multi-Stage 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.
• Multi-Stage Programming: Axiomatization and Type-Safety, ICALP'98. ps, pdf.
• How to add laziness to a strict language, SML'98. dvi, ps, pdf
• Multi-Stage Programming with Explicit Annotations, PEPM'97. ps, pdf. TCS'00 ps, pdf.