[TYPES/announce] Call for participation: ML 2015

[Jeremy Yallop]

Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
Thursday 3 September 2015, Vancouver, Canada (co-located with ICFP)

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

Early registration deadline:   Monday 3 August 2015
Register online: https://regmaster4.com/2015conf/ICFP15/register.php

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 2015 will be held in Vancouver on 3 September, immediately after
ICFP and close to a number of other related events, including the
OCaml Workshop on the following day.

Programme

(Talk times and abstracts are available from the workshop website:
 http://www.mlworkshop.org/ml2015/).

* The History of Standard ML: Ideas, Principles, Culture
  (Invited Talk)
  David MacQueen

* Generating code with polymorphic let
  Oleg Kiselyov

* Polymorphism, subtyping and type inference in MLsub
  Stephen Dolan and Alan Mycroft

* Arduino programming of ML-style in ATS
  Kiwamu Okabe and Hongwei Xi

* Resource monitoring for Poly/ML processes
  David Matthews, Magnus Stenqvist and Tjark Weber

* Full dependency and user-defined effects in F*
  Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Pierre-Yves Strub,
  Aseem Rastogi, Antoine Delignat-Lavaud, Karthikeyan Bhargavan, and
  Cédric Fournet

* Dependent types for real-time constraints
  William Blair and Hongwei Xi

* Manifest contracts for OCaml
  Yuki Nishida and Atsushi Igarashi

* Lost in extraction, recovered
  Éric Tanter and Nicolas Tabareau

* GADTs and exhaustiveness: looking for the impossible
  Jacques Garrigue and Jacques Le Normand

Programme Committee

Damien Doligez (Inria Paris-Rocquencourt, France)
Suresh Jagannathan (Purdue University, USA)
Patricia Johann (Appalachian State University, USA)
Sam Lindley (University of Edinburgh, UK)
Moe Masuko (Ochanomizu University, Japan)
Adriaan Moors (Typesafe, USA)
Scott Owens (University of Kent, UK)
Jonathan Protzenko (Microsoft Research, USA)
Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany)
Jeremy Yallop (University of Cambridge, UK) (PC chair)