Aleksander Boruch-Gruszecki

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 11

Top Topics

Pattern Matching

Theoretical Foundation

Reasoning Mechanisms

Top Venues

Proc. ACM Program. Lang.

Publications

Lionel Parreaux, Aleksander Boruch-Gruszecki, Andong Fan, Chun Yin Chau
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism. Proc. ACM Program. Lang. 8 (POPL) (2024)
Yichen Xu, Aleksander Boruch-Gruszecki, Martin Odersky
Degrees of Separation: A Flexible Type System for Safe Concurrency. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhoták, Jonathan Immanuel Brachthäuser
Capturing Types. ACM Trans. Program. Lang. Syst. 45 (4) (2023)
Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Immanuel Brachthäuser, Ondrej Lhoták
Scoped Capabilities for Polymorphic Effects. CoRR (2022)
Aleksander Boruch-Gruszecki, Radoslaw Wasko, Yichen Xu, Lionel Parreaux
A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, Aleksander Boruch-Gruszecki
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Aleksander Boruch-Gruszecki, Radoslaw Wasko, Yichen Xu, Lionel Parreaux
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning. CoRR (2022)
Yichen Xu, Aleksander Boruch-Gruszecki, Lionel Parreaux
Implementing path-dependent GADT reasoning for Scala 3. SCALA@SPLASH (2021)
Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták, Martin Odersky
Tracking Captured Variables in Types. CoRR (2021)
Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták
Safer exceptions for Scala. SCALA@SPLASH (2021)
Lionel Parreaux, Aleksander Boruch-Gruszecki, Paolo G. Giarrusso
Towards improved GADT reasoning in Scala. SCALA@ECOOP (2019)