ICFP 2022 (series) / ML 2022 (series) / ML 2022 /
Towards Algebraic Subtyping for Extensible Records
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 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Thu 15 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
09:00 - 10:30 | |||
09:00 50mKeynote | Keynote: Efficient and Scalable Parallel Functional Programming Through Disentanglement ML Sam Westrick Carnegie Mellon University | ||
09:50 20mTalk | 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 20mTalk | The Ultimate Conditional SyntaxVirtual ML Lionel Parreaux The Hong Kong University of Science and Technology (HKUST) Pre-print File Attached |