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 21 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)
- Parametric (Co)Iteration vs. Primitive Direcursion (Q3612495) (← links)
- A Datastructure for Iterated Powers (Q3618829) (← 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)
- (Q3782758) (← 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)
- Computer Science Logic (Q5311256) (← links)