Polytypic programming in COQ

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]

Possibly Related Publications

The following publications are possibly variants of this publication: