The following pages link to Computing with recursive types (Q3972839):
Displaying 8 items.
- Type inference with recursive types: Syntax and semantics (Q756435) (← links)
- The insensitivity theorem for nonreducing reflexive types (Q792755) (← links)
- Confluence of the lambda calculus with left-linear algebraic rewriting (Q1197987) (← links)
- Adequacy for a lazy functional language with recursive and polymorphic types (Q1349683) (← links)
- (Q3142168) (← links)
- (Q3219796) (← links)
- (Q5475458) (← links)
- A fixed-point semantics for feature type systems (Q5881298) (← links)