2015-07-26

[Caml-list] Call for participation: ML 2015

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

--
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

No comments: