Scrap More Boilerplate: Reflection, Zips, and Generalised Casts (2004)

by R Lämmel, S Peyton Jones
Venue:In ACM Int. Conf. on Functional Programming