Polytypic programming in COQ. - Wendy Verbruggen; Edsko de Vries; Arthur Hughes (ICFP-WGP, 2008)

Polytypic properties and proofs in Coq. - Wendy Verbruggen; Edsko de Vries; Arthur Hughes (WGP@ICFP, 2009)

Formal polytypic programs and proofs. - Wendy Verbruggen; Edsko de Vries; Arthur Hughes (J. Funct. Program., 2010)

Formal polytypic programs and proofs - Wendy Verbruggen (2010)