Overview

HTTPS SSH

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/.

Download the repository

Link