Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Thu 7 Sep 2017 10:55 - 11:20 at L3 - Types and modules

We present a module system for Eliom, a tierless web programming language that extends OCaml. Our module language integrates well with both the Eliom and OCaml languages and supports nice properties of module systems such as a strong support for abstraction and separate compilation.

Thu 7 Sep
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

10:30 - 11:45: ML 2017 - Types and modules at L3
mlfamilyworkshop-2017-papers10:30 - 10:55
Gowtham KakiPurdue University, KC SivaramakrishnanUniversity of Cambridge, Samodya AbeysiriwardanePurdue University, Suresh JagannathanPurdue University
mlfamilyworkshop-2017-papers10:55 - 11:20
Gabriel RadanneUniversité Denis Diderot Paris 7, PPS, Jérôme VouillonUniv Paris Diderot, Sorbonne Paris Cité, BeSport
mlfamilyworkshop-2017-papers11:20 - 11:45
Jeremy YallopUniversity of Cambridge, UK, Stephen Dolan