From: Matthias Blume <matthias_blume@mac.com>
To: caml-list@inria.fr
Subject: Call for Participation: ML Workshop 2005
Date: Wed, 27 Jul 2005 15:01:15 +0900 [thread overview]
Message-ID: <96BC83B4-CE20-4EFD-9218-F7D4EB96EEE7@mac.com> (raw)
Call for Participation
The 2005 ACM SIGPLAN Workshop on ML
To be held in conjunction with ICFP 2005
September 29, 2005
Tallinn, Estonia
http://www.tti-c.org/blume/ml05/index.html
Early registration deadline: July 29, 2005
Late registration deadline: September 2, 2005
Synopsis:
The ML family of programming languages, whose dialects include
Standard ML, Objective Caml, Alice ML and nML, has inspired a
tremendous amount of language research, ranging from type inference to
module systems to operational semantics and implementation. Languages
from the ML family have alse been successfully applied in areas
ranging from compilers and theorem provers to low-level system
software, web applications and video games. The goal of the Workshop
is to provide a forum for researchers, developers, and users to hear
about and discuss the latest work on the use, design, and
implementation of ML-like languages. Previous ML Workshops have been
held in Edinburgh, Pittsburgh, San Francisco, Orlando and Baltimore.
The 2005 Workshop will be held in conjunction with the ACM SIGPLAN
International Conference on Functional Programming (ICFP) in Tallinn,
Estonia.
Programme:
A Library for Self-Adjusting Computation
Umut A. Acar, Guy Blelloch, Matthias Blume, Robert Harper,
Kanat Tangwongsan
A Type-Safe Embedding of XDuce into ML
Kenny Zhuo Ming Lu and Martin Sulzmann
An Applicative Control-Flow Graph Based on Huet’s Zipper
Norman Ramsey and Joao Dias
An overview of alphaCaml
Francois Pottier
Fresh O'Caml: nominal abstract syntax for the masses
Mark R. Shinwell
Generic Pickling and Minimization
Guido Tack, Leif Kornstaedt, Gert Smolka
Initializing Mutually Referential Abstract Objects:
The Value Recursion Challenge
Don Syme
ML Module Mania: A Type-Safe, Separately Compiled, Extensible
Interpreter
Norman Ramsey
Practical Datatype Specializations with Phantom Types and
Recursion Schemes
Matthew Fluet Riccardo Pucella
Towards efficient, typed LR parsers
François Pottier and Yann Régis-Gianas
General Chair:
Matthias Blume Toyota Technological Institute at Chicago
Program Chairs:
Nick Benton Microsoft Research Limited
Xavier Leroy INRIA Rocquencourt
Invited Speaker:
Greg Morrisett Harvard University
Program Committee:
Nick Benton (co-chair) Microsoft Research
Matthias Blume Toyota Technological Institute at Chicago
Martin Elsman IT University of Copenhagen
Jean-Christophe Filliâtre CNRS, University Paris Sud
Robert Harper Carnegie Mellon University
Xavier Leroy (co-chair) INRIA Rocquencourt
Chris Okasaki United States Military Academy
John Reppy University of Chicago
Andreas Rossberg Universität des Saarlandes
Zhong Shao Yale University
Eijiro Sumii Tohoku University
Stephen Weeks
Kwangkeun Yi Seoul National University
reply other threads:[~2005-07-27 6:01 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=96BC83B4-CE20-4EFD-9218-F7D4EB96EEE7@mac.com \
--to=matthias_blume@mac.com \
--cc=blume@tti-c.org \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).