Pages that link to "Item:Q685350"
From MaRDI portal
The following pages link to Interpretations of recursively defined types (Q685350):
Displaying 6 items.
- Type inference with recursive types: Syntax and semantics (Q756435) (← links)
- Recursive types for Fun (Q1176245) (← links)
- Strictness analysis via abstract interpretation for recursively defined types (Q1193597) (← links)
- (Q2771055) (← links)
- Types for Proofs and Programs (Q5712324) (← links)
- Builtin types viewed as inductive families (Q6535230) (← links)