Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Harel, David
and
Feldman, Yishai
1987.
Algorithmics.
p.
91.
Bird, Richard
and
Paterson, Ross
1999.
Generalised folds for nested datatypes.
Formal Aspects of Computing,
Vol. 11,
Issue. 2,
p.
200.
Hinze, Ralf
1999.
Functional and Logic Programming.
Vol. 1722,
Issue. ,
p.
21.
Sheard, Tim
1999.
Advanced Functional Programming.
Vol. 1608,
Issue. ,
p.
207.
Russo, Claudio V.
2000.
Programming Languages and Systems.
Vol. 1782,
Issue. ,
p.
336.
Hinze, Ralf
2000.
Mathematics of Program Construction.
Vol. 1837,
Issue. ,
p.
2.
Russo, Claudio V.
2001.
Recursive structures for standard ML.
ACM SIGPLAN Notices,
Vol. 36,
Issue. 10,
p.
50.
Taha, Walid
Hudak, Paul
and
Wan, Zhanyong
2001.
Embedded Software.
Vol. 2211,
Issue. ,
p.
185.
Barreiro, Miguel
Gulías, Víctor M.
Sánchez, Juan J.
and
Jorge, Santiago
2001.
Computer Aided Systems Theory — EUROCAST 2001.
Vol. 2178,
Issue. ,
p.
540.
Hinze, Ralf
2001.
A simple implementation technique for priority search queues.
p.
110.
Hinze, Ralf
2001.
A simple implementation technique for priority search queues.
ACM SIGPLAN Notices,
Vol. 36,
Issue. 10,
p.
110.
Edelkamp, Stefan
and
Leven, Peter
2002.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 2514,
Issue. ,
p.
145.
Stein, C.A.
Tucker, M.J.
and
Seltzer, M.I.
2002.
Building a reliable mutable file system on peer-to-peer storage.
p.
324.
Hinze, Ralf
and
Jeuring, Johan
2003.
Generic Programming.
Vol. 2793,
Issue. ,
p.
1.
van Arkel, Diederik
van Groningen, John
and
Smetsers, Sjaak
2003.
Implementation of Functional Languages.
Vol. 2670,
Issue. ,
p.
51.
Liu, Jed
and
Myers, Andrew C.
2003.
Practical Aspects of Declarative Languages.
Vol. 2562,
Issue. ,
p.
110.
Oury, Nicolas
2003.
Typed Lambda Calculi and Applications.
Vol. 2701,
Issue. ,
p.
271.
Lagoon, Vitaly
Mesnard, Fred
and
Stuckey, Peter J.
2003.
Logic Programming.
Vol. 2916,
Issue. ,
p.
254.
Setzer, Anton
2003.
Types for Proofs and Programs.
Vol. 2646,
Issue. ,
p.
279.
Hinze, Ralf
and
Jeuring, Johan
2003.
Generic Programming.
Vol. 2793,
Issue. ,
p.
57.