[TYPES/announce] Call for participation: ML 2016

Kenichi Asai asai at is.ocha.ac.jp
Mon Aug 1 02:30:52 EDT 2016

Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
Thursday September 22, 2016, Nara, Japan (co-located with ICFP)

Call For Participation:        http://www.mlworkshop.org/ml2016/

Early registration deadline:   Wednesday 17 August 2016
Register online: http://conf.researchr.org/attending/icfp-2016/Registration

The ML Family Workshop brings together researchers, implementors and
users of languages in the extended ML family and provides a forum to
present and discuss common issues, both practical (compilation
techniques, tooling, embedded programming) and theoretical (fancy
types, module systems, type inference).

ML 2016 will be held in Nara on September 22nd, immediately after
ICFP and close to a number of other related events, including the
OCaml Workshop on the following day.

Tentative Program

* Making Reactive Programs Function (Invited Talk)
  Neelakantan Krishnaswami

* WebAssembly: high speed at low cost for everyone
  Andreas Rossberg

* Extracting from F* to C: a progress report
  Jonathan Protzenko, Karthikeyan Bhargavan, Jean-Karim Zinzindohoue
  Abhishek Anand, Cedric Fournet, Bryan Parno, Aseem Rastogi and
  Nikhil Swamy

* Compiling with Continuations and LLVM
  Kavon Farvardin and John Reppy

* SML# with Natural Join
  Tomohiro Sasaki, Katsuhiro Ueno and Atsushi Ohori

* Eff Directly in OCaml
  Oleg Kiselyov and Kc Sivaramakrishnan

* Compiling Links Effect Handlers to the OCaml Backend
  Daniel Hillerstrom, Sam Lindley and Kc Sivaramakrishnan

* Classes for the Masses
  Claudio Russo and Matthew Windsor

* Close Encounters of the Higher Kind - Emulating Constructor Classes
  in Standard ML
  Yutaka Nagashima and Liam O'Connor

* Malfunctional Programming
  Stephen Dolan

* Ambiguous pattern variables
  Gabriel Scherer, Luc Maranget and Thomas Refis

* Typed Embedding of Relational Language in OCaml
  Dmitri Kosarev and Dmitri Boulytchev

* Sundials/ML: interfacing with numerical solvers
  Timothy Bourke, Jun Inoue and Marc Pouzet

  (The last talk is accepted for ML workshop, but presented in OCaml
  workshop with the agreement from authors and ML/OCaml workshop PCs)

Programme Committee

Nada Amin (EPFL, Switzerland)
Kenichi Asai (Ochanomizu University, Japan) (PC chair)
Jacques Carette (McMaster University, Canada)
Arthur Chargueraud (INRIA, France)
Yan Chen (Google, USA)
Jan Midtgaard (Technical University of Denmark, Denmark)
John Reppy (University of Chicago, USA)
Mark Shinwell (Jane Street Europe, UK)
Nikhil Swamy (Microsoft Research, USA)
Katsuhiro Ueno (Tohoku University, Japan)

More information about the Types-announce mailing list