Roland Carl Backhouse, Paul F. Hoogendijk. Generic Properties of Datatypes. In Roland Carl Backhouse, Jeremy Gibbons, editors, Generic Programming - Advanced Lectures. Volume 2793 of Lecture Notes in Computer Science, pages 97-132, Springer, 2003. [doi]
@inproceedings{BackhouseH03, title = {Generic Properties of Datatypes}, author = {Roland Carl Backhouse and Paul F. Hoogendijk}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2793&spage=97}, researchr = {https://researchr.org/publication/BackhouseH03}, cites = {0}, citedby = {0}, pages = {97-132}, booktitle = {Generic Programming - Advanced Lectures}, editor = {Roland Carl Backhouse and Jeremy Gibbons}, volume = {2793}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-20194-7}, }