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