Wendy Verbruggen, Edsko de Vries, Arthur Hughes. Formal polytypic programs and proofs. Journal of Functional Programming, 20(3-4):213-269, 2010. [doi]
@article{VerbruggenVH10, title = {Formal polytypic programs and proofs}, author = {Wendy Verbruggen and Edsko de Vries and Arthur Hughes}, year = {2010}, doi = {10.1017/S0956796810000158}, url = {http://dx.doi.org/10.1017/S0956796810000158}, tags = {proof assistant, generic programming, program verification, polytypic programming, Haskell, programming, polytypic}, researchr = {https://researchr.org/publication/VerbruggenVH10}, cites = {0}, citedby = {0}, journal = {Journal of Functional Programming}, volume = {20}, number = {3-4}, pages = {213-269}, }