TACO Lab
TACO Lab
Home
About Me (PI)
News
GitHub
People
Recruiting
Events
Publications
M-Labs
Principal type inference
Boolean-Algebraic Subtyping: Intersections, Unions, Negations, and Principal Type Inference
Intersection and union types are becoming more popular by the day, entering the mainstream in programming languages like TypeScript and …
Chun Yin Chau
,
Lionel Parreaux
PDF
Cite
MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types
Intersection and union types are becoming more popular by the day, entering the mainstream in programming languages like TypeScript and …
Lionel Parreaux
,
Chun Yin Chau
PDF
Cite
Video
DOI
Github Project
View on conference website
Cite
×