Wendy Verbruggen, Edsko de Vries, Arthur Hughes. Polytypic programming in COQ. In Ralf Hinze, Don Syme, editors, Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008. pages 49-60, ACM, 2008. [doi]
@inproceedings{VerbruggenVH08,
title = {Polytypic programming in COQ},
author = {Wendy Verbruggen and Edsko de Vries and Arthur Hughes},
year = {2008},
doi = {10.1145/1411318.1411326},
url = {http://doi.acm.org/10.1145/1411318.1411326},
tags = {proof assistant, generic programming, polytypic programming, Haskell, programming, polytypic},
researchr = {https://researchr.org/publication/VerbruggenVH08},
cites = {0},
citedby = {0},
pages = {49-60},
booktitle = {Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008},
editor = {Ralf Hinze and Don Syme},
publisher = {ACM},
isbn = {978-1-60558-060-9},
}