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):
Displayed 9 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)
- Mixed Inductive/Coinductive Types and Strong Normalization (Q3498444) (← links)
- Polarised subtyping for sized types (Q3535676) (← links)
- An induction principle for nested datatypes in intensional type theory (Q3638923) (← links)
- From Coinductive Proofs to Exact Real Arithmetic (Q3644745) (← links)
- Two extensions of system F with (co)iteration and primitive (co)recursion principles (Q3653093) (← links)