Concrete stream calculus: An extended study

DOI10.1017/S0956796810000213zbMath1221.68072DBLPjournals/jfp/Hinze08WikidataQ60692303 ScholiaQ60692303MaRDI QIDQ3021409

Ralf Hinze

Publication date: 25 July 2011

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

binary carry sequenceMoessner's Theoremrecursion eliminationSprague-Grundy numbersstream equations

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Data structures (68P05)

Related Items (7)

Unnamed Item ⋮ Enhancing expressivity of checked corecursive streams ⋮ A proof of Moessner's theorem by coinduction ⋮ Checked corecursive streams: expressivity and completeness ⋮ Into the Infinite - Theory Exploration for Coinduction ⋮ A characterization of Moessner's sieve ⋮ A Final Coalgebra for k-regular Sequences

Uses Software

• Haskell
• OEIS

Cites Work

• Unnamed Item
• Unnamed Item
• A coinductive calculus of binary trees
• Generating power of lazy semantics
• The associativity of equivalence and the Towers of Hanoi problem
• The music of streams
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• The worker/wrapper transformation
• The Bird Tree
• Generalised coinduction
• Perfect trees and bit-reversal permutations
• A coinductive calculus of streams
• Power series, power serious
• Functional pearl
• Applicative programming with effects

This page was built for publication: Concrete stream calculus: An extended study