Datatype-generic programming (2007)

by Jeremy Gibbons
Venue:Spring School on Datatype-Generic Programming, volume 4719 of LNCS