Aleksander Boruch-Gruszecki

According to our database, Aleksander Boruch-Gruszecki authored at least 9 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism.

Lionel Parreaux, Aleksander Boruch-Gruszecki, Andong Fan, Chun Yin Chau

Proc. ACM Program. Lang., January, 2024

2023

Capturing Types.

Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhoták, Jonathan Immanuel Brachthäuser

ACM Trans. Program. Lang. Syst., December, 2023

2022

Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back.

Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, Aleksander Boruch-Gruszecki

Proc. ACM Program. Lang., 2022

A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning.

Aleksander Boruch-Gruszecki, Radoslaw Wasko, Yichen Xu, Lionel Parreaux

Proc. ACM Program. Lang., 2022

Scoped Capabilities for Polymorphic Effects.

Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Immanuel Brachthäuser, Ondrej Lhoták

CoRR, 2022

2021

Tracking Captured Variables in Types.

Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták, Martin Odersky

CoRR, 2021

Implementing path-dependent GADT reasoning for Scala 3.

Yichen Xu, Aleksander Boruch-Gruszecki, Lionel Parreaux

Proceedings of the SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 2021

Safer exceptions for Scala.

Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták

Proceedings of the SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 2021

2019

Towards improved GADT reasoning in Scala.

Lionel Parreaux, Aleksander Boruch-Gruszecki, Paolo G. Giarrusso

Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 2019