Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Call for Participation: 2007 Workshop on ML
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-09-06 (07:19)
From: Derek Dreyer <dreyer.publicity@g...>
Subject: Call for Participation: 2007 Workshop on ML
Below is the preliminary program for the 2007 Workshop on ML, which is
co-located with ICFP 2007 and will take place on Friday, October 5.
The early registration deadline is this Friday, September 7!

We are pleased to have Didier Rémy as our invited speaker.  In
addition, we are planning to conclude the workshop with a "5-Minute
Madness" session, in which attendees can give brief impromptu talks on
ML-related topics.  The proposed theme for this year's madness session
is "Design Ideas for Next-Generation ML", but talks on other topics
are welcome as well.

If you are interested in giving a 5-Minute Madness talk, please send
mail (with a brief mention of what you would like to talk about) to
the program chair at  I hope to see you at the

Derek Dreyer


ML 2007 Website:

Registration Website:

Preliminary Program:

    Welcome/Opening remarks
    Derek Dreyer, Program Chair

    Invited talk: MLF for Everyone (Users, Implementers, and Designers)
    Didier Rémy

    Coffee Break

    Efficient ML Type Inference Using Ranked Type Variables
    George Kuan and David MacQueen

    Status Report: The Manticore Project
    Matthew Fluet, Nic Ford, Mike Rainey, John Reppy, Adam Shaw and Yingqi Xiao

    Status Report: HOT Pickles, and How to Serve Them
    Andreas Rossberg, Guido Tack and Leif Kornstaedt

    A Persistent Union-Find Data Structure
    Sylvain Conchon and Jean-Christophe Filliatre

    Lunch Break

    Status Report: Specifying JavaScript with ML
    David Herman and Cormac Flanagan

    Status Report: Layered Streaming XML Processing with Modules
    Tyng-Ruey Chuang and Max Schaefer

    Status Report: Marionnet -- How to Implement a Virtual Network
Laboratory in Six Months and Be Happy
    Jean-Vincent Loddo and Luca Saiu

    Coffee Break

    Generics for the Working ML'er
    Vesa Karvonen

    Practical Generic Programming in OCaml
    Jeremy Yallop

    5-Minute Madness: Design Ideas for Next-Generation ML