%0 Conference Paper %1 conf/esop/FetscherCPHF15 %A Fetscher, Burke %A Claessen, Koen %A Palka, Michal H. %A Hughes, John %A Findler, Robert Bruce %B ESOP %D 2015 %E Vitek, Jan %I Springer %K %P 383-405 %T Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. %U http://dblp.uni-trier.de/db/conf/esop/esop2015.html#FetscherCPHF15 %V 9032 %@ 978-3-662-46668-1

@inproceedings{conf/esop/FetscherCPHF15, added-at = {2023-12-14T16:48:56.000+0100}, author = {Fetscher, Burke and Claessen, Koen and Palka, Michal H. and Hughes, John and Findler, Robert Bruce}, biburl = {https://www.bibsonomy.org/bibtex/2274fdd7421ffc77852bc6cea81555d8d/admin}, booktitle = {ESOP}, crossref = {conf/esop/2015}, editor = {Vitek, Jan}, ee = {https://doi.org/10.1007/978-3-662-46669-8_16}, interhash = {fd7f246fcd1ce641afde2a025ffe8bb2}, intrahash = {274fdd7421ffc77852bc6cea81555d8d}, isbn = {978-3-662-46668-1}, keywords = {}, pages = {383-405}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T16:48:56.000+0100}, title = {Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2015.html#FetscherCPHF15}, volume = 9032, year = 2015 }