ICFP 2021 (series) / ML 2021 (series) /
ML 2021 Program
This is the ML 2021 program - see the full program for ICFP 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Thu 26 AugDisplayed time zone: Seoul change
Thu 26 Aug
Displayed time zone: Seoul change
18:00 - 19:30 | |||
18:00 30mTalk | Composing UNIX with Effect Handlers: A Case Study in Effect Handler Oriented Programming ML Daniel Hillerström The University of Edinburgh Pre-print Media Attached | ||
18:30 30mTalk | Cameleer: a Deductive Verification Tool for OCaml ML Mário Pereira NOVA LINCS & DI -- Nova School of Science and Technology, António Ravara Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS File Attached | ||
19:00 30mTalk | Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques ML Vasileios Koutavas Trinity College Dublin, Yu-Yang Lin Trinity College Dublin, Nikos Tzevelekos Queen Mary University of London File Attached |
20:00 - 21:30 | |||
20:00 30mTalk | Formalizing OCaml GADT typing in Coq ML Pre-print File Attached | ||
20:30 30mTalk | Demo Paper : Coqlex, an approach to generate verified lexers ML Wendlasida Ouedraogo Siemens Mobility & Inria Saclay, Danko Ilik Siemens Mobility, Lutz Strassburger Inria Saclay & LIX, Ecole Polytechnique Media Attached File Attached | ||
21:00 30mTalk | Code Extraction from Coq to ML-like languages ML Danil Annenkov Concordium Blockchain Research Center, Aarhus University, Mikkel Milo Concordium Blockchain Research Center, Aarhus University, Bas Spitters Aarhus University Link to publication File Attached |
22:00 - 23:30 | |||
22:00 60mKeynote | Keynote: Narratives and Lessons from The Early History of F# ML Don Syme Microsoft |
23:30 - 01:00 | |||
23:30 30mTalk | A metalanguage for multi-phase modularity ML File Attached | ||
00:00 30mTalk | Unfolding ML datatype declarations without loops ML Pre-print Media Attached | ||
00:30 30mTalk | Verifying Multiparty Communication Protocols using ML Type Systems ML Keigo Imai Gifu University, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London, Shoji Yuen Nagoya University File Attached |
Fri 27 AugDisplayed time zone: Seoul change
Fri 27 Aug
Displayed time zone: Seoul change
01:30 - 03:00 | |||
01:30 30mTalk | Frozen inference constraints for type-directed disambiguation ML Pre-print Media Attached | ||
02:00 15mTalk | Experience Report: Domain Modeling with F# (short talk) ML Scott Wlaschin None Media Attached File Attached | ||
02:15 15mTalk | Isomorphisms are back! (short talk) ML File Attached | ||
02:30 15mTalk | Sylvester: Unified, typed, notation for symbolic mathematics and proofs (short talk) ML Allister Beharry None Media Attached File Attached | ||
02:45 15mTalk | A Data-centered User Study for jsCoq (short talk) ML Hanneli Tavante McGill University File Attached |