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

• Type: Conference
• Year: 2009
• Where: AAIP
• Authors: Alexey Rodriguez Yakushev, Johan Jeuring
• Keywords: AAIP 2009, Generic Programming, Generic Programming Techniques, Programming Languages, Spine Approach