Pages that link to "Item:Q848745"
From MaRDI portal
The following pages link to A principled approach to programming with nested types in Haskell (Q848745):
Displaying 10 items.
- Map fusion for nested datatypes in intensional type theory (Q627204) (← links)
- Disciplined, efficient, generalised folds for nested datatypes (Q1882785) (← links)
- On building cyclic and shared structures in Haskell (Q1941875) (← links)
- Generalised folds for nested datatypes (Q1965249) (← links)
- Parametricity for primitive nested types (Q2233419) (← links)
- Nested session types (Q2233456) (← links)
- Proof Relevant Corecursive Resolution (Q2798268) (← links)
- The Expression Lemma (Q3521989) (← links)
- (Q5028445) (← links)
- Programming Languages and Systems (Q5464049) (← links)