GPCE W2: Second MetaOCaml Workshop

Official Workshop Website

http://metaocaml.org/workshop05/

Organizers

Kedar Swadi and Walid Taha

Location

TBA

Date and Time

Wednesday, Sep. 28, 2005: 9.00 - 18.00

Workshop Program

• 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