[Haskell-cafe] ML Family workshop: First Call for Participation

oleg at okmij.org oleg at okmij.org
Mon Jul 7 01:41:32 UTC 2014


Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
Thursday September 4, 2014, Gothenburg, Sweden

Call For Participation         http://okmij.org/ftp/ML/ML14.html

Early registration deadline is August 3. Please register at
https://regmaster4.com/2014conf/ICFP14/register.php

This workshop specifically aims to recognize the entire extended ML
family and to provide the forum to present and discuss common issues,
both practical (compilation techniques, implementations of concurrency
and parallelism, programming for the Web) and theoretical (fancy
types, module systems, metaprogramming). We also encourage
presentations from related languages (such as Scala, Rust, Nemerle,
ATS, etc.), to exchange experience of further developing ML ideas.

The workshop is conducted in close cooperation with the
OCaml Users and Developers Workshop  http://ocaml.org/meetings/ocaml/2014/
taking place on September 5.


Program

* Andreas Rossberg
    1ML -- core and modules as one (Or: F-ing first-class modules)

* Jacques Garrigue and Leo White
    Type-level module aliases: independent and equal

* Felix Klock and Nicholas Matsakis
    Demo: The Rust Language and Type System

* Tomas Petricek and Don Syme
    Doing web-based data analytics with F#

* Thomas Braibant, Jonathan Protzenko and Gabriel Scherer
    Well-typed generic smart-fuzzing for APIs

* Ramana Kumar, Magnus O. Myreen, Michael Norrish and Scott Owens
    Improving the CakeML Verified ML Compiler

* Leo White and Frederic Bour
    Modular implicits

* Nada Amin and Tiark Rompf
    Implicits in Practice

* Anil Madhavapeddy, Thomas Gazagnaire, David Scott and Richard Mortier
    Metaprogramming with ML modules in the MirageOS

* Katsuhiro Ueno and Atsushi Ohori
    Compiling SML# with LLVM: a Challenge of Implementing ML on a Common
    Compiler Infrastructure

* Akinori Abe and Eijiro Sumii
    A Simple and Practical Linear Algebra Library Interface
    with Static Size Checking

* John Reppy
    SML3d: 3D Graphics for Standard ML


In addition, the joint poster session with the OCaml workshop will take
place in the afternoon on September 5. The session will include
posters:

* Nicolas Oury
    Core.Sequence: a unified interface for sequences

* Thomas Gazagnaire, Amir Chaudhry, Anil Madhavapeddy, Richard Mortier, 
  David Scott, David Sheets, Gregory Tsipenyuk, Jon Crowcroft
    Irminsule: a branch-consistent distributed library database

* Michel Mauny and Benoit Vaugon
    Nullable Type Inference

* Edwin Toeroek
    LibreS3: design, challenges, and steps toward reusable libraries

* Fabrice Le Fessant
    A Case for Multi-Switch Constraints in OPAM


Program Committee

Kenichi Asai             Ochanomizu University, Japan
Matthew Fluet            Rochester Institute of Technology, USA
Jacques Garrigue         Nagoya University, Japan
Dave Herman              Mozilla, USA
Stefan Holdermans        Vector Fabrics, Netherlands
Oleg Kiselyov (Chair)    University of Tsukuba, Japan
Keiko Nakata             Tallinn University of Technology, Estonia
Didier Remy              INRIA Paris-Rocquencourt, France
Zhong Shao               Yale University, USA
Hongwei Xi               Boston University, USA



More information about the Haskell-Cafe mailing list