Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 22 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Session 1ML at Pine
Chair(s): KC Sivaramakrishnan IIT Madras
09:00
60m
Talk
Keynote: An Introduction to the Imandra Automated Reasoning System
ML
I: Grant Passmore Imandra Inc.
10:30 - 12:00
Session 2ML at Pine
Chair(s): Andreas Rossberg Dfinity Stiftung
10:30
25m
Talk
A right-to-left type system for value recursion
ML
Alban Reynaud ENS Lyon, Gabriel Scherer INRIA Saclay, Jeremy Yallop University of Cambridge, UK
Pre-print
10:55
25m
Talk
let (rec) insertion without effects, lights or magic
ML
Oleg Kiselyov , Jeremy Yallop University of Cambridge, UK
Pre-print
11:20
25m
Talk
(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
Session 3ML at Pine
Chair(s): Zoe Paraskevopoulou Princeton University
13:30
25m
Talk
Transparent Synchronous Dataflow
ML
Steven Cheung University of Birmingham, UK
File Attached
13:55
25m
Talk
Programming with Rational Coinductive Streams
ML
Jean-Baptiste Jeannin University of Michigan, USA
File Attached
14:20
25m
Talk
Efficient Deconstruction with Typed Pointer Reversal
ML
Pre-print
15:20 - 16:30
Session 4ML at Pine
Chair(s): Gabriel Scherer INRIA Saclay
15:20
25m
Talk
An Idris Foreign Function Interface to OCaml
ML
Robert Atkey University of Strathclyde, Ioan Luca University of Strathclyde
File Attached
15:45
25m
Talk
Necro: Animating Skeletons
ML
Nathanaël Courant INRIA, Enzo Crance INSA Rennes, Alan Schmitt Inria
File Attached
16:50 - 18:15
Session 5ML at Pine
Chair(s): Edwin Brady University of St. Andrews, UK
16:50
25m
Talk
Compiling Successor ML Pattern Guards
ML
John Reppy University of Chicago, Mona Zahir University of Chicago
Pre-print
17:15
25m
Talk
A Key-Value store for OCaml
ML
Tom Ridge University of Leicester, UK
File Attached
17:40
25m
Talk
Towards Machine Learning Induction in Poly/ML
ML
Yutaka Nagashima Data61, Australia
File Attached