- *Polytypic Programming, Johan Jeuring, Patrick Jansson, (1996) DOI: 10.1007/3-540-61628-4_3
- Executiong Higher Order Logic, Stefan Berghofer and Tobias Nikpow (2000) DOI: 10.1007/3-540-45842-5_2
- Random testing in Isabelle/HOL, Stefan Berghofer and Tobias Nikpow (2004) DOI: 10.5555/1030033.1030056
- Generating Good Generators for Inductive Relations, Leonidas Lampopoulos, Zoe Paraskevopoulou, Benjamin C. Pierce (2018) DOI: 10.1145/3158133
- Generating constrained random data with uniform distribution, Koen Claessen, Jonas Duregard, Michal H. Palka (2015) DOI: 10.1007/978-3-319-07151-0_2
-
Notifications
You must be signed in to change notification settings - Fork 0
n-osborne/generators
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
Experimentation about data generators
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published