Published September 22, 2020
| Version v1
Software
Open
Resolution as Intersection Subtyping via Modus Ponens
- 1. KU Leuven
- 2. University of Hong Kong
- 3. Tweag I/O
Description
This artifact consists of supplementary material for the article "Resolution as Intersection Subtyping via Modus Ponens".
It contains:
- A prototype implementation of λiMP
- A mechanization of the metatheory of our calculus (declarative)
- A mechanization of the metatheory for the subtyping algorithm of our calculus
Notes
Files
Files
(4.0 MB)
Name | Size | Download all |
---|---|---|
md5:03ca3066671697b57c0ec7743199d56c
|
4.0 MB | Download |