Recursively Defined Data Types
No abstract available.
Related papers
- Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion JFP 1999
- Verifying higher-order functional programs with pattern-matching algebraic data types POPL 2011
- Recursive type generativity ICFP 2005
- Recursive type generativity JFP 2007
- Well-founded recursion with copatterns and sized types JFP 2016
- Two-level types and parameterized modules JFP 2004
- Reasoning about Recursively Defined Data Structures POPL 1978
- Partially Strict Non-Recursive Data Types JFP 1993