The music of streams

DOI10.1016/S0020-0190(00)00201-5zbMATH Open1003.68025MaRDI QIDQ1607101FDOQ1607101

Authors: Douglas McIlroy 

Publication date: 25 July 2002

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

Recommendations

• scientific article; zbMATH DE number 3960963
• Streams are forever
• scientific article; zbMATH DE number 3980453
• Generating power of lazy semantics
• Concrete stream calculus: an extended study

zbMATH Keywords

data streams

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Exponential Numbers
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generating power of lazy semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Power series, power serious
• Title not available (Why is that?)

Cited In (6)

• A final coalgebra for \(k\)-regular sequences
• Elements of stream calculus (an extensive exercise in coinduction)
• Concrete stream calculus: an extended study
• PSEUDO: applications of streams and lazy evaluation to integrable models
• Streams are forever
• Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme

Uses Software

• Haskell

This page was built for publication: The music of streams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1607101)