TACO Lab
TACO Lab
Home
About Me (PI)
News
GitHub
People
Recruiting
Events
Publications
M-Labs
Type inference
Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper)
Practical metaprogramming applications often involve manipulating open code fragments, which is easy to get wrong in the absence of …
Cunyuan Gao
,
Lionel Parreaux
Cite
Github Project
The Long Way to Deforestation
Deforestation is a compiler optimization that removes intermediate data structure allocations from functional programs to improve their …
Yijia (Anto) Chen
,
Lionel Parreaux
Cite
DOI
Github Project
View on conference website
When Subtyping Constraints Liberate
Type inference in the presence of first-class or “impredicative” second-order polymorphism à la System F has been an active research …
Lionel Parreaux
,
Aleksander Boruch-Gruszecki
,
Andong Fan
,
Chun Yin Chau
PDF
Cite
DOI
Github Project
View on conference website
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
×