Pages that link to "Item:Q3612632"
From MaRDI portal
The following pages link to Initial Algebra Semantics Is Enough! (Q3612632):
Displaying 13 items.
- Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition (Q385017) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- A principled approach to programming with nested types in Haskell (Q848745) (← links)
- Piecewise initial algebra semantics (Q2461761) (← links)
- Initial algebra semantics for cyclic sharing tree structures (Q2786132) (← links)
- The Expression Lemma (Q3521989) (← links)
- Initial Algebra Semantics for Cyclic Sharing Structures (Q3637190) (← links)
- (Q5009703) (← links)
- High-level signatures and initial semantics (Q5079724) (← links)
- Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers (Q5166620) (← links)
- Algebraic Specialization of Generic Functions for Recursive Types (Q5166621) (← links)
- Programming Languages and Systems (Q5464049) (← links)
- GADTs, functoriality, parametricity: pick two (Q6661153) (← links)