Workshop Program W2
Generative Programming and Component Engineering
- 9:00 - 10:00 ICFP invited talk
- 10:15 - 10:30 Opening
- 10:30 - 11:00 Break
- 11:00 - 11:30
Playing with Type Systems
Tim Sheard - 11:30 - 12:00
Typing Template Haskell: Soft Types
Ian Lynagh - 12:00 - 12:30
Type Soundness for Open and Closed Code Fragments
Morten Rhiger - 12:30 - 13:00 Discussion session on Types.
- 13:00 - 14:30 Lunch
- 14:30 - 15:00
Dynamic Caml: a Dynamic Code Generation Library for Objective Caml
Dmitry Lomov and Andrey Serebryansky - 15:00 - 15:30
A runtime for Multi-Stage Programming, and
Meta-Programming without Quasi-Quotation
Cisternino Antonio and Gervasi Vincenzo - 15:30 - 16:00 Discussion session on Implementation issues
- 16:00 - 16:30 Break
- 16:30 - 17:00
Towards a high-productivity and high-performance marshaling library for compound data
Albert Cohen and Christoph Herrmann - 17:00 - 18:00 Discussion session (open).
- 18:00 Closing