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

This work has been sponsored by Hong Kong Research Grant Council projects number 17210617 and 17209519, Flemish Fund for Scientific Research project number G073816N and KU Leuven project number C14/20/079.

Files

Files (4.0 MB)

Name Size Download all
md5:03ca3066671697b57c0ec7743199d56c
4.0 MB Download