1 citations · 1 across the 1 of their papers we have counts for
3 papers
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning
Aleksander Boruch-Gruszecki, Radosław Waśko, Yichen Xu +1
Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala and Ceylon, with the more recent additions of Java, Kotl…
Scoped Capabilities for Polymorphic Effects
Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee +2
Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables cap…
Tracking Captured Variables in Types
Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee +2
Type systems usually characterize the shape of values but not their free variables. However, there are many desirable safety properties one could guarantee if one could track how r…