Pages that link to "Item:Q1965249"
From MaRDI portal
The following pages link to Generalised folds for nested datatypes (Q1965249):
Displaying 16 items.
- Map fusion for nested datatypes in intensional type theory (Q627204) (← links)
- Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
- A principled approach to programming with nested types in Haskell (Q848745) (← links)
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- On the semantics of nested datatypes (Q1607121) (← links)
- Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412) (← links)
- Parametricity for primitive nested types (Q2233419) (← links)
- From signatures to monads in \textsf{UniMath} (Q2319990) (← links)
- Containers: Constructing strictly positive types (Q2566024) (← links)
- Type Fusion (Q3067469) (← links)
- An induction principle for nested datatypes in intensional type theory (Q3638923) (← links)
- Heterogeneous Substitution Systems Revisited (Q4580223) (← links)
- (Q5009703) (← links)
- (Q5028445) (← links)
- High-level signatures and initial semantics (Q5079724) (← links)
- Unifying structured recursion schemes (Q5371980) (← links)
