Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
Artikel i vetenskaplig tidskrift, 2015
Författare
B. Fetscher
Northwestern University
Koen Lindström Claessen
Chalmers, Data- och informationsteknik, Programvaruteknik
Michal Palka
Chalmers, Data- och informationsteknik, Programvaruteknik
John Hughes
Chalmers, Data- och informationsteknik, Programvaruteknik
R. B. Findler
Northwestern University
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 9032 383-405Ämneskategorier
Systemvetenskap
DOI
10.1007/978-3-662-46669-8_16