The following pages link to Short cut fusion is correct (Q4461770):
Displayed 4 items.
- Refined typing to localize the impact of forced strictness on free theorems (Q766167) (← 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)
- The impact of higher-order state and control effects on local relational reasoning (Q3165524) (← links)