| 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 | 21 | 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 | 18 | 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 | 11 | 2021 |
| 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 |
| 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 | 7 | 2023 |
| 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 | 7 | 2019 |
| Representing monads with capabilities JI Brachthäuser, AS Boruch-Gruszecki, M Odersky HOPE 2021 Workshop, 2021 | 5 | 2021 |
| 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 | 4 | 2022 |
| 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 | 1 | 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, AS Boruch-Gruszecki, M Odersky OOPSLA 2024, 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 |
Jonathan Immanuel BrachthäuserJun. Prof., Software Engineering, University of Tübingen, GermanyVerified email at b-studios.de
