Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System.

Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler

Browse the full ESOP paper archive.