Type soundness of functional languages with subtyping in Lang-n-Prove
Language verification is an important aspect in the cycle of programming language development, especially when such endeavor establishes properties of…
Aplas11
journal.stuffwithstuff.com
Context Sensitive Subtyping