Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Chang, Feng-Cheng
and
Huang, Hsiang-Cheh
2007.
A Programming Model for Distributed Content-Based Image Retrieval.
p.
210.
HUTTON, GRAHAM
and
WRIGHT, JOEL
2007.
What is the meaning of these constant interruptions?.
Journal of Functional Programming,
Vol. 17,
Issue. 6,
p.
777.
Escardo, Martin
2007.
Infinite sets that admit fast exhaustive search.
p.
443.
Altenkirch, Thorsten
and
Green, Alexander S.
2009.
Semantic Techniques in Quantum Computation.
p.
173.
CIOBANU, GABRIEL
and
GONTINEAC, MIHAI
2009.
ENCODINGS OF MULTISETS.
International Journal of Foundations of Computer Science,
Vol. 20,
Issue. 03,
p.
381.
Sampson, Curt J.
2009.
Experience report.
p.
185.
GILL, ANDY
and
HUTTON, GRAHAM
2009.
The worker/wrapper transformation.
Journal of Functional Programming,
Vol. 19,
Issue. 2,
p.
227.
Salas, Jorge F.
2009.
A Language for Encoding and Reconstruction of Rewriting Proofs.
p.
67.
Axelsson, Emil
Claessen, Koen
Devai, Gergely
Horvath, Zoltan
Keijzer, Karin
Lyckegard, Bo
Persson, Anders
Sheeran, Mary
Svenningsson, Josef
and
Vajdax, Andras
2010.
Feldspar: A domain specific language for digital signal processing algorithms.
p.
169.
Cui, JianYing
and
Tang, XiaoJia
2010.
A method for solving Nash equilibria of games based on public announcement logic.
Science China Information Sciences,
Vol. 53,
Issue. 7,
p.
1358.
HUTTON, GRAHAM
JASKELIOFF, MAURO
and
GILL, ANDY
2010.
Factorising folds for faster functions.
Journal of Functional Programming,
Vol. 20,
Issue. 3-4,
p.
353.
ESCARDÓ, MARTÍN
and
OLIVA, PAULO
2010.
Selection functions, bar recursion and backward induction.
Mathematical Structures in Computer Science,
Vol. 20,
Issue. 2,
p.
127.
Miszczak, J.
2011.
Models of quantum computation and quantum programming languages.
Bulletin of the Polish Academy of Sciences: Technical Sciences,
Vol. 59,
Issue. 3,
p.
305.
Rumpe, Bernhard
2011.
Modellierung mit UML.
p.
15.
Rumpe, Bernhard
2011.
Modellierung mit UML.
p.
41.
NYKÄNEN, MATTI
2011.
A note on the genuine Sieve of Eratosthenes.
Journal of Functional Programming,
Vol. 21,
Issue. 6,
p.
563.
Szlenk, Marcin
2011.
Dependable Computer Systems.
Vol. 97,
Issue. ,
p.
233.
Bousdira, Wadoud
Loulergue, Frédéric
and
Tesson, Julien
2012.
Algorithms and Architectures for Parallel Processing.
Vol. 7439,
Issue. ,
p.
218.
Day, Laurence E.
and
Hutton, Graham
2012.
Trends in Functional Programming.
Vol. 7193,
Issue. ,
p.
49.
Loulergue, Frederic
Gava, Frederic
Kosmatov, Nikolai
and
Lemerre, Matthieu
2012.
Towards verified cloud computing environments.
p.
91.