Wendy Verbruggen, Edsko de Vries, Arthur Hughes. Polytypic properties and proofs in Coq. In Patrik Jansson, Sibylle Schupp, editors, Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2, 2009. pages 1-12, ACM, 2009. [doi]
Abstract is missing.