xThe data center, from which the conference websites are hosted, is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
ICFP 2021
Sun 22 - Sat 28 August 2021
Fri 27 Aug 2021 00:00 - 00:30 at ML - Language & Library Design Chair(s): Benoît Montagu

To support a proposed extension of constructor unboxing in OCaml, we need to compute a property of OCaml type expressions by repeatedly unfolding the definition of datatype constructors. In presence of mutually-recursive datatype definitions, it is not obvious to do such repeated unfolding without losing termination. We present an unfolding algorithm using dynamic cycle detection, which is more permissive than the traditional static cycle detection approach.

Thu 26 Aug

Displayed time zone: Seoul change

23:30 - 01:00
Language & Library DesignML at ML
Chair(s): Benoît Montagu Inria
23:30
30m
Talk
A metalanguage for multi-phase modularity
ML
Jonathan Sterling Carnegie Mellon University, Robert Harper Carnegie Mellon University, USA
File Attached
00:00
30m
Talk
Unfolding ML datatype declarations without loops
ML
Nicolas Chataing ENS Paris, Gabriel Scherer INRIA Saclay
Pre-print Media Attached
00:30
30m
Talk
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