[Caml-list] Call for participation: ML 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)

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs