Sciweavers

Share
AAIP
2009

Enumerating Well-Typed Terms Generically

10 years 3 months ago
Enumerating Well-Typed Terms Generically
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 approach (Hinze et al. 2006; Hinze and L
Alexey Rodriguez Yakushev, Johan Jeuring
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2009
Where AAIP
Authors Alexey Rodriguez Yakushev, Johan Jeuring
Comments (0)
books