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.
Salas, Jorge F.
2009.
A Language for Encoding and Reconstruction of Rewriting Proofs.
p.
67.
Sampson, Curt J.
2009.
Experience report.
p.
185.
CIOBANU, GABRIEL
and
GONTINEAC, MIHAI
2009.
ENCODINGS OF MULTISETS.
International Journal of Foundations of Computer Science,
Vol. 20,
Issue. 03,
p.
381.
Altenkirch, Thorsten
and
Green, Alexander S.
2009.
Semantic Techniques in Quantum Computation.
p.
173.
GILL, ANDY
and
HUTTON, GRAHAM
2009.
The worker/wrapper transformation.
Journal of Functional Programming,
Vol. 19,
Issue. 2,
p.
227.
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.
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.
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.
NYKÄNEN, MATTI
2011.
A note on the genuine Sieve of Eratosthenes.
Journal of Functional Programming,
Vol. 21,
Issue. 6,
p.
563.
Rumpe, Bernhard
2011.
Modellierung mit UML.
p.
41.
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.
Szlenk, Marcin
2011.
Dependable Computer Systems.
Vol. 97,
Issue. ,
p.
233.
Rumpe, Bernhard
2011.
Modellierung mit UML.
p.
15.
2012.
High Level Structures for Quantum Computing.
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.