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]
No reviews for this publication, yet.