A simplified account of polymorphic references. Information Processing Letters (1994)

by Robert Harper
Venue:Follow-up note in Information Processing Letters