Short cut fusion is correct
From MaRDI portal
Publication:4461770
DOI10.1017/S0956796802004409zbMath1111.68406MaRDI QIDQ4461770
Publication date: 18 May 2004
Published in: Journal of Functional Programming (Search for Journal in Brave)
68P05: Data structures
Related Items
Refined typing to localize the impact of forced strictness on free theorems, A family of syntactic logical relations for the semantics of Haskell-like languages, Selective strictness and parametricity in structural operational semantics, inequationally