| Program |
 |
|
|
|
| Find in Program |
|
|
|
|
| Page |
|
|
|
|
| Basket |
|
|
view, help
"Multi-Stage Programming in MetaOCaml"
|
|
|
|
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:
|
