ICFP 2018 (series) / ML 2018 (series) /
ML 2018 Program
This is the ML 2018 program - see the full program for ICFP 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Fri 28 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change
09:00 - 10:00 | |||
09:00 60mTalk | ELPI: an extension language with binders and unification variables (Invited talk) ML Enrico Tassi INRIA | ||
10:20 - 12:00 | |||
10:20 25mTalk | Safely Mixing OCaml and Rust ML Stephen Dolan University of Cambridge | ||
10:45 25mTalk | Rust Distilled: An Expressive Tower of Languages ML Aaron Weiss Northeastern University, Daniel Patterson Northeastern University, Amal Ahmed Northeastern University, USA Link to publication Pre-print | ||
11:10 25mTalk | Generating Mutually Recursive Definitions ML Pre-print | ||
11:35 25mTalk | Experience Report: Type-Safe Multi-Tier Programming with Standard ML Modules ML Martin Elsman University of Copenhagen, Denmark, Philip Munksgaard Intelligent Alpha AG, Switzerland, Ken Friis Larsen DIKU, University of Copenhagen Link to publication | ||
13:30 - 15:10 | |||
13:30 25mTalk | ML as a Tactic Language, Again ML Guido Martínez CIFASIS-CONICET, Argentina, Danel Ahman University of Ljubljana, Victor Dumitrescu , Nick Giannarakis Princeton University, Chris Hawblitzel Microsoft Research, Cătălin Hriţcu Inria Paris, Monal Narasimhamurthy , Zoe Paraskevopoulou Princeton University, Clément Pit-Claudel MIT CSAIL, Jonathan Protzenko Microsoft Research, Redmond, Tahina Ramananandro Microsoft Research, n.n., Aseem Rastogi Microsoft Research, Nikhil Swamy Microsoft Research File Attached | ||
13:55 25mTalk | Design and verification of functional proof checkers ML Roberto Blanco Inria | ||
14:20 25mTalk | Disornamentation ML | ||
14:45 25mTalk | Generic Programming with Combinators and Objects ML | ||
15:30 - 16:10 | |||
15:30 40mTalk | Programming with Abstract Algebraic Effects ML Dariusz Biernacki University of Wrocław, Maciej Piróg University of Wrocław, Piotr Polesiuk University of Wrocław, Filip Sieczkowski University of Wrocław | ||