Pages that link to "Item:Q1770412"
From MaRDI portal
The following pages link to Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412):
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)
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- Type-based termination of generic programs (Q923883) (← links)
- A realizability interpretation of Church's simple theory of types (Q4593235) (← links)
