Link bibtex
Y. Xu, A. Boruch-Gruszecki, M. Odersky:
Degrees of Separation: A Flexible Type System for Safe Concurrency, in Proc. ACM Program. Lang. 8(OOPSLA1), pp. 136:1181–136:1207, 2024
DOI: 10.1145/3649853
Link bibtex
L. Parreaux, A. Boruch-Gruszecki, A. Fan, C. Chau:
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism, in When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism (Artifact) 8(POPL), pp. 48:1418–48:1450, 2024
DOI: 10.1145/3632890
Link bibtex
A. Boruch-Gruszecki, M. Odersky, E. Lee, O. Lhoták, J. Brachthäuser:
Capturing Types, in ACM Trans. Program. Lang. Syst. 45(4), pp. 21:1–21:52, 2023
DOI: 10.1145/3618003
Link bibtex
A. Boruch-Gruszecki, R. Waśko, Y. Xu, L. Parreaux:
A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning, in Mechanized proof of «A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning» 6(OOPSLA2), pp. 179:1526–179:1555, 2022
DOI: 10.1145/3563342
Link bibtex
J. Brachthäuser, P. Schuster, E. Lee, A. Boruch-Gruszecki:
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back, in Artifact of the paper "Effects, Capabilities, and Boxes: From Scope-based Reasoning to Type-based Reasoning and Back" 6(OOPSLA1), pp. 76:1–76:30, 2022
DOI: 10.1145/3527320

Filter