ACM - affordances
Chris Dornan
ACM SIGPLAN Notices
January 1995
in prepaxation
Polymorphic type inference and abstract data types