The Coq proofs of my dissertation "Iso-Recursive Subtyping: New Theory and Extensions"
Primary LanguageCoqGNU General Public License v3.0GPL-3.0