Volume 4: QuickChick: Property-Based Testing in Coq
目录
索引
Bib
Bibliography
[Wadler and Blott 1989]
Philip Wadler, Stephen Blott,
How to Make ad-hoc Polymorphism Less ad-hoc
. POPL 1989.
https://dl.acm.org/citation.cfm?doid=75277.75283
(* 2022-03-14 05:33:05 (UTC+00) *)