A semantics for type checking, in: Theoretical Aspects of Computer Software (1991)

by G D Plotkin
Venue:Lecture Notes in Computer Science 526