Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
McIlroy, M.Douglas
2001.
The music of streams.
Information Processing Letters,
Vol. 77,
Issue. 2-4,
p.
189.
Rutten, J.J.M.M.
2003.
Behavioural differential equations: a coinductive calculus of streams, automata, and power series.
Theoretical Computer Science,
Vol. 308,
Issue. 1-3,
p.
1.
Brunelli, J.C.
2004.
PSEUDO: applications of streams and lazy evaluation to integrable models.
Computer Physics Communications,
Vol. 163,
Issue. 1,
p.
22.
Hinze, Ralf
2008.
Functional pearl.
p.
189.
Hinze, Ralf
2008.
Functional pearl.
ACM SIGPLAN Notices,
Vol. 43,
Issue. 9,
p.
189.
MacQueen, David B.
2009.
From Semantics to Computer Science.
p.
95.
Yorgey, Brent A.
2010.
Species and functors and types, oh my!.
ACM SIGPLAN Notices,
Vol. 45,
Issue. 11,
p.
147.
Yorgey, Brent A.
2010.
Species and functors and types, oh my!.
p.
147.
HINZE, RALF
2010.
Concrete stream calculus: An extended study.
Journal of Functional Programming,
Vol. 20,
Issue. 5-6,
p.
463.
Hinze, Ralf
2010.
Central European Functional Programming School.
Vol. 6299,
Issue. ,
p.
42.
McIlroy, M. Douglas
2011.
Dependable and Historic Computing.
Vol. 6875,
Issue. ,
p.
358.
Hinze, Ralf
2011.
Implementation and Application of Functional Languages.
Vol. 5836,
Issue. ,
p.
1.
Karczmarczuk, Jerzy
2011.
Specific "scientific" data structures, and their processing.
Electronic Proceedings in Theoretical Computer Science,
Vol. 66,
Issue. ,
p.
195.
Kiselyov, Oleg
Peyton-Jones, Simon
and
Sabry, Amr
2012.
Programming Languages and Systems.
Vol. 7705,
Issue. ,
p.
190.
Dolan, Stephen
2013.
Fun with semirings.
ACM SIGPLAN Notices,
Vol. 48,
Issue. 9,
p.
101.
Dolan, Stephen
2013.
Fun with semirings.
p.
101.
BOREALE, MICHELE
CLARK, DAVID
and
GORLA, DANIELE
2015.
A semiring-based trace semantics for processes with applications to information leakage analysis.
Mathematical Structures in Computer Science,
Vol. 25,
Issue. 2,
p.
259.
Ionescu, Cezar
and
Jansson, Patrik
2016.
Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming.
Electronic Proceedings in Theoretical Computer Science,
Vol. 230,
Issue. ,
p.
1.
Elliott, Conal
2017.
Compiling to categories.
Proceedings of the ACM on Programming Languages,
Vol. 1,
Issue. ICFP,
p.
1.
Kidney, Donnacha Oisín
and
Wu, Nicolas
2021.
Algebras for weighted search.
Proceedings of the ACM on Programming Languages,
Vol. 5,
Issue. ICFP,
p.
1.
Discussions
No Discussions have been published for this article.