Search

Home
About Me (PI)
News
GitHub
People
Recruiting
Events
Publications
M-Labs

Aleksander Boruch-Gruszecki

Latest

When Subtyping Constraints Liberate
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