A Functional Approach to Type Constraints of Generic Definitions.

Myung Ho Kim A Functional Approach to Type Constraints of Generic Definitions. 45-52 1997 32 SIGPLAN Notices 6 db/journals/sigplan/sigplan32.html#Kim97