Search

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

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite