[MLton-user] Workshop on ML 2010 - Call for Participation
Matthew Fluet
matthew.fluet at gmail.com
Tue Aug 10 06:44:45 PDT 2010
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
More information about the MLton-user
mailing list