Pinned Loading

1. Iso-Recursive-Subtyping Iso-Recursive-Subtyping Public

   Revisiting Iso-Recursive Subtyping

   HTML 3 1

2. dissertation-artifacts dissertation-artifacts Public

   The Coq proofs of my dissertation "Iso-Recursive Subtyping: New Theory and Extensions"

   Coq 3

3. Recursive-Subtyping-for-All Recursive-Subtyping-for-All Public

   The artifact of the paper "Recursive Subtyping for All"

   Coq 9 1