ICFP 2019 (series) / ML 2019 (series) /
ML 2019 Program
This is the ML 2019 program - see the full program for ICFP 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Thu 22 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 22 Aug
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mTalk | Keynote: An Introduction to the Imandra Automated Reasoning System ML |
10:30 - 12:00 | |||
10:30 25mTalk | A right-to-left type system for value recursion ML Pre-print | ||
10:55 25mTalk | let (rec) insertion without effects, lights or magic ML Pre-print | ||
11:20 25mTalk | (TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism ML Frank Emrich The University of Edinburgh, Sam Lindley The University of Edinburgh and Imperial College London, Jan Stolarek University of Edinburgh, UK, James Cheney University of Edinburgh, UK |
13:30 - 15:00 | |||
13:30 25mTalk | Transparent Synchronous Dataflow ML Steven Cheung University of Birmingham, UK File Attached | ||
13:55 25mTalk | Programming with Rational Coinductive Streams ML Jean-Baptiste Jeannin University of Michigan, USA File Attached | ||
14:20 25mTalk | Efficient Deconstruction with Typed Pointer Reversal ML Pre-print |
15:20 - 16:30 | |||
15:20 25mTalk | An Idris Foreign Function Interface to OCaml ML File Attached | ||
15:45 25mTalk | Necro: Animating Skeletons ML File Attached |
16:50 - 18:15 | |||
16:50 25mTalk | Compiling Successor ML Pattern Guards ML Pre-print | ||
17:15 25mTalk | A Key-Value store for OCaml ML Tom Ridge University of Leicester, UK File Attached | ||
17:40 25mTalk | Towards Machine Learning Induction in Poly/ML ML Yutaka Nagashima Data61, Australia File Attached |