Tony Finch's link log
2007-07-06: Design patterns as higher order datatype generic programs.
(long)
(short)
(atom)
(wayback machine)