Design patterns as higher-order datatype-generic programs (2006)

by Jeremy Gibbons
Venue:In Workshop on Generic Programming