A simple semantics for ml polymorphism (1989)

by A Ohori
Venue:In FPCA