Back to Results
First PageMeta Content
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


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

Facility

Northwestern University Chalmers University of Technology Abstract / /

IndustryTerm

type-systems / post-processing function / /

Organization

Northwestern University Chalmers University of Technology Abstract / /

Person

Robert Bruce / /

Position

model author / /

ProgrammingLanguage

Haskell / /