Pages that link to "Item:Q1882785"
From MaRDI portal
The following pages link to Disciplined, efficient, generalised folds for nested datatypes (Q1882785):
Displaying 5 items.
- Map fusion for nested datatypes in intensional type theory (Q627204) (← links)
- A principled approach to programming with nested types in Haskell (Q848745) (← links)
- Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412) (← links)
- An induction principle for nested datatypes in intensional type theory (Q3638923) (← links)
- Heterogeneous Substitution Systems Revisited (Q4580223) (← links)
