The music of streams

DOI10.1016/S0020-0190(00)00201-5zbMath1003.68025MaRDI QIDQ1607101

M. Douglas McIlroy

Publication date: 25 July 2002

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

data streams

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (5)

Concrete stream calculus: An extended study ⋮ Elements of Stream Calculus ⋮ A Final Coalgebra for k-regular Sequences ⋮ PSEUDO: applications of streams and lazy evaluation to integrable models ⋮ Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme

Uses Software

• Haskell

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generating power of lazy semantics
• Exponential Numbers
• Power series, power serious

This page was built for publication: The music of streams