ICFP 2017 (series) / ML 2017 (series) /
ML 2017 Program
This is the ML 2017 program - see the full program for ICFP 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Thu 7 SepDisplayed time zone: Belfast change
Thu 7 Sep
Displayed time zone: Belfast change
09:00 - 09:05 | |||
09:00 5mDay opening | Welcome ML |
09:05 - 10:00 | |||
09:05 55mTalk | State machines all the way down ML Edwin Brady University of St. Andrews, UK |
10:30 - 11:45 | |||
10:30 25mTalk | Mergeable types ML Gowtham Kaki Purdue University, KC Sivaramakrishnan University of Cambridge, Samodya Abeysiriwardane Purdue University, Suresh Jagannathan Purdue University | ||
10:55 25mTalk | Tierless modules ML Gabriel Radanne Université Denis Diderot Paris 7, PPS, Jérôme Vouillon Univ Paris Diderot, Sorbonne Paris Cité, BeSport | ||
11:20 25mTalk | First-class subtypes ML |
12:00 - 12:25 | |||
12:00 25mTalk | VOCAL -- a verified OCAml Library ML Arthur Charguéraud Inria, Jean-Christophe Filliatre CNRS, Paris, France, Mário Pereira LRI - Université Paris-Sud, François Pottier Inria, France |
14:00 - 15:15 | |||
14:00 25mTalk | Typer: an infix statically typed Lisp ML Pierre Delaunay Université de Montréal, Vincent Archambault-Bouffard Université de Montréal, Stefan Monnier Université de Montréal | ||
14:25 25mTalk | Relational conversion for OCaml ML | ||
14:50 25mTalk | Towards abductive functional programming ML Koko Muroya University of Birmingham, UK |
15:30 - 16:20 | |||
15:30 25mTalk | Making SML# a general-purpose high-performance language ML Atsushi Ohori Tohoku University, Japan, Kenjiro Taura The University of Tokyo, Katsuhiro Ueno Tohoku University | ||
15:55 25mTalk | Efficient representation of large, dynamic sequences in ML ML |
16:50 - 17:40 | |||
16:50 25mTalk | Effects without monads: non-determinism ML | ||
17:15 25mTalk | Effectively tackling the awkward squad ML Stephen Dolan , Spiros Eliopoulos Jane Street Group, Daniel Hillerström The University of Edinburgh, Anil Madhavapeddy OCaml Labs, KC Sivaramakrishnan University of Cambridge, Leo White Jane Street |