第 4 巻: Coqにおけるプロパティベーステスト
目次
索引
Bib: Bibliography
Wadler
and
Blott
1989
Philip Wadler, Stephen Blott,
How to Make ad-hoc Polymorphism Less ad-hoc
. POPL 1989. http://dl.acm.org/citation.cfm?doid=75277.75283