TACO Lab
TACO Lab
Home
About Me (PI)
News
GitHub
People
Recruiting
Events
Publications
M-Labs
Type inference
When Subtyping Constraints Liberate
TBD
Lionel Parreaux
,
Aleksander Boruch-Gruszecki
,
Andong Fan
,
Chun Yin Chau
Cite
Github Project
Getting into the Flow
Creating good type error messages for constraint-based type inference systems is difficult. Typical type error messages reflect …
Ishan Bhanuka
,
Lionel Parreaux
,
David Binder
,
Jonathan Immanuel Brachthäuser
Cite
DOI
Github Project
View on conference website
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion
We present a new variation of object-oriented programming built around three simple and orthogonal constructs: classes for storing …
Andong Fan
,
Lionel Parreaux
PDF
Cite
DOI
Github Project
View on conference website
The Simple Essence of Algebraic Subtyping
MLsub extends traditional Hindley-Milner type inference with subtyping while preserving compact principal types, an exciting new …
Lionel Parreaux
PDF
Cite
Video
DOI
Github Project
View on conference website
Cite
×