Design patters as higher-order datatype generic programs (0)

by Jeremy Gibbons
Venue:In Workshop on Generic Programming