@inproceedings{Gibbons2006:Design, title = "Design Patterns as Higher-Order Datatype-Generic Programs", author = "Jeremy Gibbons", year = "2006", booktitle = "Workshop on Generic Programming", editor = "Ralf Hinze", month = "sep", url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/hodgp.pdf", }