Type inference for polytypic functions (1996)

by P Jansson, J Jeuring
Venue:In preparation, see http://www.cs.chalmers.se/~johanj/polytypism