TACO Lab
TACO Lab
Home
About Me (PI)
News
People
Recruiting
Events
Publications
M-Labs
Yichen Xu
Latest
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning
Cite
×