Chris Dornan
Department of Computer Science, University College, Cork, Ireland
Polymorphic type inference and abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)