Datatype-generic programming

by Jeremy Gibbons
Venue:Spring School on Datatype-Generic Programming, volume 4719 of Lecture Notes in Computer Science