Pages that link to "Item:Q2949199"
From MaRDI portal
The following pages link to Shortcut fusion for accumulating parameters & zip-like functions (Q2949199):
Displayed 7 items.
- Refined typing to localize the impact of forced strictness on free theorems (Q766167) (← links)
- Deaccumulation techniques for improving provability (Q882487) (← links)
- A family of syntactic logical relations for the semantics of Haskell-like languages (Q1012131) (← links)
- Selective strictness and parametricity in structural operational semantics, inequationally (Q2464947) (← links)
- Push versus pull-based loop fusion in query engines (Q4577821) (← links)
- Manipulating accumulative functions by swapping call-time and return-time computations (Q5398337) (← links)
- Semantics and Pragmatics of New Shortcut Fusion Rules (Q5458435) (← links)