References and weak polymorphism (1988)

by D MacQueen
Venue:Standard ML of