ACM - affordances
Chris Dornan
Proceedings of the second ACM SIGPLAN international conference on Functional programming - ICFP ’97
January 1995
in prepaxation
Polymorphic type inference and abstract data types