The following pages link to (Q3395336):
Displaying 6 items.
- A generalization of short-cut fusion and its correctness proof (Q1870296) (← links)
- Shortcut fusion rules for the derivation of circular and higher-order programs (Q1929359) (← links)
- Monadic augment and generalised short cut fusion (Q2936792) (← links)
- Shortcut fusion for accumulating parameters & zip-like functions (Q2949199) (← links)
- Monadic augment and generalised short cut fusion (Q5428372) (← links)
- Fusion of recursive programs with computational effects (Q5941164) (← links)