@inbook{gibbons-2007-datatype, title={Datatype-Generic Programming}, ISBN={9783540767862}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-540-76786-2_1}, DOI={10.1007/978-3-540-76786-2_1}, booktitle={Datatype-Generic Programming}, publisher={Springer Berlin Heidelberg}, author={Gibbons, Jeremy}, year={2007}, pages={1–71} }