Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back JI Brachthäuser, P Schuster, E Lee, A Boruch-Gruszecki Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-30, 2022 | 24 | 2022 |
Safer exceptions for Scala M Odersky, A Boruch-Gruszecki, JI Brachthäuser, E Lee, O Lhoták Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 1-11, 2021 | 19 | 2021 |
Tracking captured variables in types A Boruch-Gruszecki, JI Brachthäuser, E Lee, O Lhoták, M Odersky arXiv preprint arXiv:2105.11896, 2021 | 12 | 2021 |
Capturing types A Boruch-Gruszecki, M Odersky, E Lee, O Lhoták, J Brachthäuser ACM Transactions on Programming Languages and Systems 45 (4), 1-52, 2023 | 9 | 2023 |
Scoped capabilities for polymorphic effects M Odersky, A Boruch-Gruszecki, E Lee, J Brachthäuser, O Lhoták arXiv preprint arXiv:2207.03402, 2022 | 9 | 2022 |
Towards improved GADT reasoning in Scala L Parreaux, A Boruch-Gruszecki, PG Giarrusso Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 12-16, 2019 | 8 | 2019 |
A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning A Boruch-Gruszecki, R Waśko, Y Xu, L Parreaux Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1526-1555, 2022 | 3 | 2022 |
Representing monads with capabilities JI Brachthäuser, AS Boruch-Gruszecki, M Odersky HOPE 2021 Workshop, 2021 | 3 | 2021 |
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism L Parreaux, A Boruch-Gruszecki, A Fan, CY Chau Proceedings of the ACM on Programming Languages 8 (POPL), 1418-1450, 2024 | 2 | 2024 |
Implementing path-dependent GADT reasoning for Scala 3 Y Xu, A Boruch-Gruszecki, L Parreaux Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 22-32, 2021 | 1 | 2021 |
Degrees of Separation: A Flexible Type System for Safe Concurrency Y Xu, A Boruch-Gruszecki, M Odersky Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 1181-1207, 2024 | | 2024 |
Formal Foundations of Capture Tracking AS Boruch-Gruszecki EPFL, 2024 | | 2024 |
Capturing Types JI Brachthäuser, O Lhoták, E Lee, A Boruch-Gruszecki ACM Transactions on Programming Languages and Systems 45 (4), 2023 | | 2023 |
Keeping Track of Capabilities M ODERSKY, A BORUCH-GRUSZECKI ACM Trans. Program. Lang. Syst 1 (1), 2023 | | 2023 |
Programming Languages and Systems M Vukasovic, A Prokopec, A Boruch-Gruszecki, M Odersky, E Lee, ... ACM Transactions on 45 (4), 2023 | | 2023 |