Short cut fusion is correct
From MaRDI portal
Publication:4461770
DOI10.1017/S0956796802004409zbMath1111.68406OpenAlexW1980759357MaRDI QIDQ4461770
Publication date: 18 May 2004
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796802004409
Related Items (4)
The impact of higher-order state and control effects on local relational reasoning ⋮ Selective strictness and parametricity in structural operational semantics, inequationally ⋮ A family of syntactic logical relations for the semantics of Haskell-like languages ⋮ Refined typing to localize the impact of forced strictness on free theorems
This page was built for publication: Short cut fusion is correct
