There is a newer version of the record available.

Published September 14, 2022 | Version v1
Software Open

Mechanized proof of «A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning»

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:6f608f8ee089b4b020c1aa2a60462c76
1.0 MB Preview Download