Polytypic programming. To appear (1996)

by Johan Jeuring, Patrik Jansson
Venue:in Proceedings of the Second International Summer School on Advanced Functional Programming Techniques, LNCS