Author-Aleksboruchgruszecki on D3S https://d3s.mff.cuni.cz/tags/author-aleksboruchgruszecki/ Recent content in Author-Aleksboruchgruszecki on D3S Hugo en A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning https://d3s.mff.cuni.cz/publications/boruchgruszecki_case_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/boruchgruszecki_case_2022/ Capturing Types https://d3s.mff.cuni.cz/publications/boruchgruszecki_capturing_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/boruchgruszecki_capturing_2023/ Degrees of Separation: A Flexible Type System for Safe Concurrency https://d3s.mff.cuni.cz/publications/xu_degrees_2024/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/xu_degrees_2024/ Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back https://d3s.mff.cuni.cz/publications/brachthauser_effects_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/brachthauser_effects_2022/ When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism https://d3s.mff.cuni.cz/publications/parreaux_when_2024/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parreaux_when_2024/