Polytypic unification (1998)

by P Jansson, J Jeuring
Venue:J. Funct. Program