New:
  • A Bytecode-Compiled, Type-safe, Multi-Stage Language. dvi, ps, pdf. (November 16/2001).
    • Published:
    • 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.
    The online bibliographies CCSB, Cora and DBLP, ResearchIndex provide useful tools.