Pages that link to "Item:Q1870296"
From MaRDI portal
The following pages link to A generalization of short-cut fusion and its correctness proof (Q1870296):
Displaying 11 items.
- A principled approach to programming with nested types in Haskell (Q848745) (← links)
- Shortcut fusion rules for the derivation of circular and higher-order programs (Q1929359) (← links)
- Parametricity for primitive nested types (Q2233419) (← links)
- Selective strictness and parametricity in structural operational semantics, inequationally (Q2464947) (← links)
- Asymptotic Improvement of Computations over Free Monads (Q3521997) (← links)
- Algebraic fusion of functions with an accumulating parameter and its improvement (Q3546049) (← links)
- (Q5028445) (← links)
- Monadic augment and generalised short cut fusion (Q5428372) (← links)
- Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism (Q5437034) (← links)
- Semantics and Pragmatics of New Shortcut Fusion Rules (Q5458435) (← links)
- GADTs, functoriality, parametricity: pick two (Q6661153) (← links)