A semantics for static type inference (1993)

by G D Plotkin
Venue:Theoretical Computer Science