OOPSLA '04

Program
Technical Program
  Invited Speakers
  Technical Papers
  Onward!
  Panels
  Practitioner Reports
  Tutorials
Workshops
DesignFest
Educators' Symposium
Demonstrations
Posters
Doctoral Symposium
Exhibits
Student Research Comp.
FlashBoF
 
Turing Lecture
 
Social Events
 
Week at a Glance
 
Final Program (1.5M .pdf)

Find in Program
 

Page
Printer-friendly

Basket
view, help

"Multi-Stage Programming in MetaOCaml"
Object-Oriented Programming, Systems, Languages and Applications
Home    Program    Housing & Transportation    Registration    Submissions    Wiki    Maps
 
  > Technical Program > Tutorials > All Tutorials

 : Sunday Afternoon Tutorials (1:30 - 17:00) : Generative Programming : Sunday

Multi-Stage Programming in MetaOCaml

Meeting Room 17
Sunday, 13:30, half day
 


 
7·8·9·10·11·12·13·14·15·16·17·18·19·20·21

Walid Taha, Rice University:  Walid Taha and Cristiano Calcagno have been involved in the development of MetaOCaml since 1999. Walid and Cristiano have also been involved in the study of type systems for multi-stage languages since 1997. Walid has a record of organizing a number of successful workshops and conferences, including SAIG'00 (organizer and PC Chair), SAIG'01 (organizer and PC Chair), and GPCE'02 (General Chair).
Cristiano Calcagno, Imperial College:  Walid Taha and Cristiano Calcagno have been involved in the development of MetaOCaml since 1999. Walid and Cristiano have also been involved in the study of type systems for multi-stage languages since 1997. Walid has a record of organizing a number of successful workshops and conferences, including SAIG'00 (organizer and PC Chair), SAIG'01 (organizer and PC Chair), and GPCE'02 (General Chair).

Tutorial number: GP2

Multi-stage programming is a new paradigm for developing generic programs that do not pay a runtime overhead. The key underlying technology is program generation. In addition, languages designed to support this paradigm (such as MetaOCaml) help the programmer avoid many of the difficulties that are traditionally encountered in developing program generators. This tutorial will introduce you to the basics of this paradigm as well as of programming in MetaOCaml. Numerous examples will be used to illustrate the practice of multi-stage programming.

Advanced