Polytypic programming in COQ - researchr publication related

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]

The following publications are possibly variants of this publication:

Formal polytypic programs and proofsWendy Verbruggen, Edsko de Vries, Arthur Hughes. JFP, 20(3-4):213-269, 2010. [doi]

Polytypic properties and proofs in CoqWendy Verbruggen, Edsko de Vries, Arthur Hughes. ICFP 2009: 1-12 [doi]

runs on WebDSL