2 search results - page 1 / 1 » Enumerating Well-Typed Terms Generically |
AAIP
2009
13 years 9 months ago
2009
We use generic programming techniques to generate well-typed lambda terms. We encode well-typed terms by generalized algebraic datatypes (GADTs) and existential types. The Spine a...
DAC
2005
ACM
13 years 10 months ago
2005
ACM
Finding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording...