Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Thu 22 Aug 2019 10:55 - 11:20 at Pine - Session 2 Chair(s): Andreas Rossberg

At last year’s ML Family Workshop we presented an interface for let(rec) insertion – i.e. for generating (mutually recursive) definitions. We demonstrated its expressiveness and applications, but not its implementation, which relied on effects and compiler magic.

We now show how one can understand let insertion – and hence, implement it in plain OCaml. We give the first denotational semantics of let(rec)-insertion, which does not rely on any effects at all.

Thu 22 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00: ML 2019 - Session 2 at Pine
Chair(s): Andreas RossbergDfinity Stiftung
mlfamilyworkshop-2019-papers10:30 - 10:55
Alban ReynaudENS Lyon, Gabriel SchererINRIA Saclay, Jeremy YallopUniversity of Cambridge, UK
mlfamilyworkshop-2019-papers10:55 - 11:20
Oleg Kiselyov, Jeremy YallopUniversity of Cambridge, UK
mlfamilyworkshop-2019-papers11:20 - 11:45
Frank EmrichThe University of Edinburgh, Sam LindleyThe University of Edinburgh and Imperial College London, Jan StolarekUniversity of Edinburgh, UK, James CheneyUniversity of Edinburgh, UK