![Programming paradigms / Software engineering / Logic programming / Linguistics / Theoretical computer science / Constraint programming / Constraint logic programming / Systemic functional linguistics / Metafunction / Lambda calculus / Constraint satisfaction / Concurrent constraint logic programming Programming paradigms / Software engineering / Logic programming / Linguistics / Theoretical computer science / Constraint programming / Constraint logic programming / Systemic functional linguistics / Metafunction / Lambda calculus / Constraint satisfaction / Concurrent constraint logic programming](https://www.pdfsearch.io/img/4f33ae24a4c21ce7877c1c25f4c33c95.jpg) Date: 2015-01-20 15:22:59Programming paradigms Software engineering Logic programming Linguistics Theoretical computer science Constraint programming Constraint logic programming Systemic functional linguistics Metafunction Lambda calculus Constraint satisfaction Concurrent constraint logic programming | | 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 ListSource URL: www.eecs.northwestern.eduDownload Document from Source Website File Size: 1,86 MBShare Document on Facebook
|