Skip to content

Latest commit

 

History

History
7 lines (5 loc) · 482 Bytes

README.md

File metadata and controls

7 lines (5 loc) · 482 Bytes
Raw

Recursive Subtyping for All

This is the Coq formalization of paper "Recursive Subtyping for All".

  • The POPL directory contains the artifact for the conference version of the paper, appeared in POPL 2023.
  • The JFP directory contains the artifact for the extended journal version of the paper, which is currently under review.

For detailed building instructions, please refer to the README files in the respective directories.