Boruch-Gruszecki, Wasko, Xu, Parreaux, [2022] “A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning” + Github repo
The latest version of the formalization of Scala’s DOT calculus in Coq.
Boruch-Gruszecki, Wasko, Xu, Parreaux, [2022] “A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning” + Github repo
The latest version of the formalization of Scala’s DOT calculus in Coq.