Published September 14, 2022
| Version v2
Software
Open
Mechanized proof of «A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning»
Authors/Creators
- 1. EPFL
- 2. University of Warsaw
- 3. Hong Kong University of Science and Technology
Description
This is the mechanized proof scripts for OOPSLA 2022 paper A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning.
Files
cdot-calculus.zip
Files
(1.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:841eb07ce550931af68970eaafea896a
|
1.0 MB | Preview Download |