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.
* The History of Standard ML: Ideas, Principles, Culture
* Generating code with polymorphic let
* 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
* 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
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)
You received this message because you are subscribed to the Google Groups "scala-announce" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
For more options, visit https://groups.google.com/d/optout.