Wendy Verbruggen

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Wendy Verbruggen, Edsko de Vries, Arthur Hughes
Formal polytypic programs and proofs. J. Funct. Program. 20 (3-4) (2010)
Wendy Verbruggen, Edsko de Vries, Arthur Hughes
Polytypic properties and proofs in Coq. WGP@ICFP (2009)
Wendy Verbruggen, Edsko de Vries, Arthur Hughes
Polytypic programming in COQ. ICFP-WGP (2008)