ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Thu 15 Sep 2022 09:50 - 10:10 at Štih - Language Design Chair(s): Benoît Montagu

MLsub is a minimal language with a type system combining subtyping and parametric polymorphism with a type inference algorithm which infers compact principal types. Simple-sub is an alternative algorithm which can be implemented efficiently and is quite easier to understand. This language supports explicitly typed records which are not extensible. Here we extend Simple-sub with extensible records, meaning that we can add new fields to a previously defined record. For this we add row variables to our type language and extend the type constraint solving method of our type inference algorithm accordingly, keeping the decidability of type inference.

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

09:00 - 10:30
Language DesignML at Štih
Chair(s): Benoît Montagu Inria
09:00
50m
Keynote
Keynote: Efficient and Scalable Parallel Functional Programming Through Disentanglement
ML
Sam Westrick Carnegie Mellon University
09:50
20m
Talk
Towards Algebraic Subtyping for Extensible Records
ML
Rodrigo Marques Universidade do Porto, Mário Florido Universidade do Porto, Pedro Vasconcelos LIACC, Universidade do Porto, Porto, Portugal
10:10
20m
Talk
The Ultimate Conditional SyntaxVirtual
ML
Lionel Parreaux The Hong Kong University of Science and Technology (HKUST)
Pre-print File Attached