Polytypic programming (1996)

by J Jeuring, P Jansson
Venue:In Advanced Functional Programming, number 1129 in LNCS