Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System Burke Fetscher1 , Koen Claessen2 , Michał Pałka2 , John Hughes2 , and Robert Bruce Findler1 1 - John Burke - Document - PDFSEARCH.IO

First Page	Meta Content
	Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System Burke Fetscher1 , Koen Claessen2 , Michał Pałka2 , John Hughes2 , and Robert Bruce Findler1 1 Add to Reading List Document Date: 2015-01-20 15:22:59 Open Document File Size: 1,86 MB Share Result on Facebook

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System Burke Fetscher1 , Koen Claessen2 , Michał Pałka2 , John Hughes2 , and Robert Bruce Findler1 1Add to Reading List