Formalization of a Polymorphic Subtyping Algorithm.

Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers

Browse the full ITP paper archive.