Unifying Typing and Subtyping
Extended version and supplementary materials
https://bitbucket.org/ypyang/oopsla17
Extended version
See paper-extended.pdf (slides). Extra materials are provided in the Appendix section.
Coq formalization of proofs
See coq/README.md. Files are located at coq/.