Software Open Access

Resolution as Intersection Subtyping via Modus Ponens

Koar Marntirosian; Tom Schrijvers; Bruno Oliveira; Georgios Karachalias

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
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 (4.0 MB)
Name Size
modusponens.tar.gz
md5:03ca3066671697b57c0ec7743199d56c
4.0 MB Download
54
6
views
downloads
All versions This version
Views 5454
Downloads 66
Data volume 24.2 MB24.2 MB
Unique views 4848
Unique downloads 66

Share

Cite as