@inproceedings{norelljansson04:ProtoGen, author = {Ulf Norell and Patrik Jansson}, title = {Prototyping Generic Programming in {Template Haskell}}, booktitle = {Mathematics of Program Construction}, year = 2004, editor = "Dexter Kozen", series = "LNCS", volume = 3125, publisher = "Springer-Verlag", pages = "314--333" }