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 18 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)
- Modular Dependent Induction in Coq, Mendler-Style (Q2829276) (← 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)
- Heterogeneous Substitution Systems Revisited (Q4580223) (← links)
- A realizability interpretation of Church's simple theory of types (Q4593235) (← links)
- (Q5014449) (← links)
- (Q5028445) (← links)
- Monotone recursive types and recursive data representations in Cedille (Q5076393) (← links)
- Some Remarks on Type Systems for Course-of-value Recursion (Q5178964) (← links)
- Classical Logic with Mendler Induction (Q5283417) (← links)
- Fantastic morphisms and where to find them. A guide to recursion schemes (Q6164203) (← links)