When Subtyping Constraints Liberate

A Novel Approach to Type Inference for First-Class Polymorphism

Lionel Parreaux, Aleksander Boruch-Gruszecki, Andong Fan, Chun Yin Chau
November 2023
Cite Github Project

Abstract

TBD

Type
Conference paper
Publication
In ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024)
Type Systems Type inference First-Class Polymorphism Subtyping
Lionel Parreaux
Lionel Parreaux
Assistant Professor

Head of the TACO Lab research group at HKUST.