A note on: "A simplified account of polymorphic references (1996)

by Robert Harper
Venue:Information Processing Letters