Concrete stream calculus: an extended study
From MaRDI portal
Recommendations
- Functional pearl: streams and unique fixed points
- A coinductive calculus of streams
- Elements of stream calculus (an extensive exercise in coinduction)
- A term calculus for (co-)recursive definitions on streamlike data structures
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
Cites work
- scientific article; zbMATH DE number 1252505 (Why is no real title available?)
- scientific article; zbMATH DE number 1052006 (Why is no real title available?)
- A coinductive calculus of binary trees
- A coinductive calculus of streams
- Applicative programming with effects
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Functional pearl: streams and unique fixed points
- Generalised coinduction
- Generating power of lazy semantics
- Perfect trees and bit-reversal permutations
- Power series, power serious
- The Bird Tree
- The associativity of equivalence and the Towers of Hanoi problem
- The music of streams
- The worker/wrapper transformation
Cited in
(23)- Into the Infinite - Theory Exploration for Coinduction
- Using Structural Recursion for Corecursion
- Typed Lambda Calculi and Applications
- Checking equivalence of corecursive streams: an inductive procedure
- Proving the unique fixed-point principle correct: an adventure with category theory
- A final coalgebra for k-regular sequences
- Checked corecursive streams: expressivity and completeness
- The music of streams
- A characterization of Moessner's sieve
- Elements of stream calculus (an extensive exercise in coinduction)
- Sampling, splitting and merging in coinductive stream calculus
- A proof of Moessner's theorem by coinduction
- Numerical modelling of concrete flow: homogeneous approach
- Enhancing expressivity of checked corecursive streams
- scientific article; zbMATH DE number 845929 (Why is no real title available?)
- A term calculus for (co-)recursive definitions on streamlike data structures
- A tool proving well-definedness of streams using termination tools
- Investigating streamless sets
- Well-Definedness of Streams by Termination
- Stream differential equations: specification formats and solution methods
- Functional pearl: streams and unique fixed points
- Programming with streams in Coq a case study: The Sieve of Eratosthenes
- A coinductive calculus of streams
This page was built for publication: Concrete stream calculus: an extended study
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3021409)
