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.
Hinze, Ralf
1999.
Functional and Logic Programming.
Vol. 1722,
Issue. ,
p.
21.
Sheard, Tim
1999.
Advanced Functional Programming.
Vol. 1608,
Issue. ,
p.
207.
Bird, Richard
and
Paterson, Ross
1999.
Generalised folds for nested datatypes.
Formal Aspects of Computing,
Vol. 11,
Issue. 2,
p.
200.
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.
Hinze, Ralf
2001.
A simple implementation technique for priority search queues.
ACM SIGPLAN Notices,
Vol. 36,
Issue. 10,
p.
110.
Hinze, Ralf
2001.
A simple implementation technique for priority search queues.
p.
110.
Taha, Walid
Hudak, Paul
and
Wan, Zhanyong
2001.
Embedded Software.
Vol. 2211,
Issue. ,
p.
185.
Russo, Claudio V.
2001.
Recursive structures for standard ML.
ACM SIGPLAN Notices,
Vol. 36,
Issue. 10,
p.
50.
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.
Stein, C.A.
Tucker, M.J.
and
Seltzer, M.I.
2002.
Building a reliable mutable file system on peer-to-peer storage.
p.
324.
Edelkamp, Stefan
and
Leven, Peter
2002.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 2514,
Issue. ,
p.
145.
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.
Hinze, Ralf
and
Jeuring, Johan
2003.
Generic Programming.
Vol. 2793,
Issue. ,
p.
1.
Liu, Jed
and
Myers, Andrew C.
2003.
Practical Aspects of Declarative Languages.
Vol. 2562,
Issue. ,
p.
110.
van Arkel, Diederik
van Groningen, John
and
Smetsers, Sjaak
2003.
Implementation of Functional Languages.
Vol. 2670,
Issue. ,
p.
51.
Hinze, Ralf
and
Jeuring, Johan
2003.
Generic Programming.
Vol. 2793,
Issue. ,
p.
57.
Setzer, Anton
2003.
Types for Proofs and Programs.
Vol. 2646,
Issue. ,
p.
279.