TACO Lab
TACO Lab
Home
About Me (PI)
News
GitHub
People
Recruiting
Events
Publications
M-Labs
Structural typing
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
×