TACO Lab
TACO Lab
Home
About Me (PI)
News
People
Recruiting
Events
Publications
M-Labs
Type Systems
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning
Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala and Ceylon, …
Aleksander Boruch-Gruszecki
,
Radosław Waśko
,
Yichen Xu
,
Lionel Parreaux
PDF
Cite
DOI
The Simple Essence of Algebraic Subtyping
MLsub extends traditional Hindley-Milner type inference with subtyping while preserving compact principal types, an exciting new …
Lionel Parreaux
PDF
Cite
Video
DOI
Github Project
Unifying Analytic and Statically-Typed Quasiquotes
Metaprograms are programs that manipulate (generate, analyze and evaluate) other programs. These tasks are greatly facilitated by …
Lionel Parreaux
,
Antoine Voizard
,
Amir Shaikhha
,
Christoph E. Koch
PDF
Cite
Video
DOI
Github Project
Cite
×