[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


                  The 2010 ACM SIGPLAN Workshop on ML
                   http://www.cs.rit.edu/~mtf/ml2010
                   Baltimore, Maryland, United States
                       Sunday, September 26, 2010
                       co-located with ICFP 2010

                         Call for Participation

ML is a family of programming languages that includes dialects known
as Standard ML, Objective Caml, and F#. The development of these
languages has inspired a large amount of computer science research,
both practical and theoretical. This workshop aims to provide a forum
to encourage discussion and research on ML and related technology
(higher-order, typed, or strict languages).

The format of the 2010 Workshop on ML will be different than that of
recent years, returning to a more informal model: a workshop with
presentations selected from submitted abstracts but without published
proceedings. We hope that this format will encourage the presentation
of more exciting (if unpolished) research and deliver a more lively
workshop atmosphere.


Invited Speaker
~~~~~~~~~~~~~~

Luke Hoban (Microsoft) -- Bringing F# to Visual Studio 2010


Program
~~~~~~

  9:00  Invited Talk
         Visual F#: Bringing F# to Visual Studio 2010
         Luke Hoban (Microsoft Research)
10:00   Break
10:30   Probabilistic programming using first-class stores and
         first-class continuations
         Oleg Kiselyov (FNMOC); Chung-chieh Shan (Rutgers University)
10:55   Effective progamming in ML
         Daan Leijen (Microsoft Research); Ross Tate (University of
         California, San Diego)
11:20   Discussion
11:30   First-class modules and composable signatures in Objective
         Caml 3.12
         Alain Frisch (LexiFi); Jacques Garrigue (Nagoya University
         Graduate School of Mathematics)
11:55   First-class modules: hidden power and tantalizing promises
         Jeremy Yallop (Applicative Ltd); Oleg Kiselyov (FNMOC)
12:20   Discussion
12:30   Lunch break
14:00   Deriving a Typed Implementation for Coroutines in ML
         Konrad Anton (Universitat Freiburg); Peter Thiemann (Universitat
         Freiburg)
14:25   The Design Rationale for Multi-MLton
         Suresh Jagannathan (Purdue University); Armand Navabi (Purdue
         University); KC Sivaramakrishnan (Purdue University);
         Lukasz Ziarek (Purdue University)
14:50   Discussion
15:00   Mirage: high-performance ML kernels in the cloud
         Anil Madhavapeddy (University of Cambridge); Thomas Gazagnaire
         (INRIA Sophia Antipolis)
15:25   Hosting a Standard ML compiler in a Web Browser: Status Report
         Martin Elsman
15:50   Discussion
16:00   Break
16:30   A simple and effective method for assigning blame for type errors
         David MacQueen (University of Chicago)
16:55   The MetaOCaml files: Status report and research proposal
         Oleg Kiselyov (FNMOC); Chung-chieh Shan (Rutgers University)
17:20   Discussion
17:30   Closing


Registration and Local Arrangements
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

  * https://regmaster3.com/2010conf/ICFP10/register.php
  * http://www.icfpconference.org/icfp2010/local.html


Program Chair
~~~~~~~~~~~~
Matthew Fluet           Rochester Institute of Technology

Program Committee
~~~~~~~~~~~~~~~~
Kathleen Fisher         AT&T Labs Research
Adam Granicz            IntelliFactory
Daan Leijen             Microsoft Research
Johan Nordlander        Lulea University of Technology
Sungwoo Park            Pohang University of Science and Technology
Daniel Spoonhower       Google


Reply via email to