The music of streams
From MaRDI portal
Publication:1607101
DOI10.1016/S0020-0190(00)00201-5zbMath1003.68025MaRDI QIDQ1607101
Publication date: 25 July 2002
Published in: Information Processing Letters (Search for Journal in Brave)
68N18: Functional programming and lambda calculus
Related Items
Elements of Stream Calculus, A Final Coalgebra for k-regular Sequences, PSEUDO: applications of streams and lazy evaluation to integrable models, Concrete stream calculus: An extended study, Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme
Uses Software
Cites Work