Polytypic programming in COQ - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Wendy Verbruggen' in GoogleThis author has not been identified. Look up 'Edsko de Vries' in GoogleThis author has not been identified. Look up 'Arthur Hughes' in Google

runs on WebDSL