Generating function versions with rational strictness patterns
From MaRDI portal
Publication:1822933
DOI10.1016/0167-6423(89)90027-0zbMath0679.68023OpenAlexW2036466202MaRDI QIDQ1822933
David S. Wise, Cordelia V. Hall
Publication date: 1989
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-6423(89)90027-0
compilationExpression evaluationfirst order languagelazy applicative languageslazy list constructorsStrictness analysis
Uses Software