Pages that link to "Item:Q3434624"
From MaRDI portal
The following pages link to A Framework for Extended Algebraic Data Types (Q3434624):
Displaying 5 items.
- A lean specification for gadts: System F with first-class equality proofs (Q656862) (← links)
- Language-Based Program Verification via Expressive Types (Q2866340) (← links)
- Constraint handling rules with binders, patterns and generic quantification (Q4592722) (← links)
- <scp>OutsideIn(X)</scp>Modular type inference with local assumptions (Q4918240) (← links)
- Free Theorems and Runtime Type Representations (Q5262947) (← links)
