TACO Lab
TACO Lab
Home
About Lionel (PI)
News
GitHub
People
Recruiting
Events
Publications
M-Labs
PL Ranking
Ningning Xie
Latest
Modular Type Safety for Traits with Extensible Variants and Deep Pattern Matching
Cite
×