Volume 4: QuickChick: Property-Based Testing in Coq
Table of Contents
Index
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
(* 2023-08-27 16:20 *)