Polytypic programming. Pages 68--114 of (1996)

by J Jeuring
Venue:eds), Advanced Functional Programming, Second International School. Springer-Verlag. LNCS