Publications

Lionel Parreaux, Aleks Boruch⁠-⁠Gruszecki, Andong Fan, Chun Yin Chau (2024). When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism. At POPL'24.

PDF DOI

Aleks Boruch⁠-⁠Gruszecki, Martin Odersky, Edward Lee, Ondřej Lhoták, Jonathan Brachthäuser (2023). Capturing Types. In TOPLAS.

PDF DOI

Aleks Boruch⁠-⁠Gruszecki, Radosław Waśko, Yichen Xu, Lionel Parreaux (2022). A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-style Reasoning. At OOPSLA'22.

PDF DOI

Jonathan Brachthäuser, Philipp Schuster, Edward Lee, Aleks Boruch⁠-⁠Gruszecki (2022). Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back. At OOPSLA'22.

PDF DOI