
-
- Cited by 6
-
Cited byCrossref Citations
This book has been cited by the following publications. This list is generated based on data provided by CrossRef.
Stepney, Susan Whitley, Dave Cooper, David and Grant, Colin 1991. A demonstrably correct compiler. Formal Aspects of Computing, Vol. 3, Issue. 1, p. 58.
MacDonald, John L. 1991. Category Theory. Vol. 1488, Issue. , p. 282.
Sabry, AMR and Felleisen, Matthias 1993. Reasoning about programs in continuation-passing style. LISP and Symbolic Computation, Vol. 6, Issue. 3-4, p. 289.
Espie, Marc 2000. Formal Power Series and Algebraic Combinatorics. p. 791.
Rescorla, Michael 2013. Against Structuralist Theories of Computational Implementation. The British Journal for the Philosophy of Science, Vol. 64, Issue. 4, p. 681.
Kurihara, Azusa Sasaki, Akira Wakita, Ken and Hosobe, Hiroshi 2015. A Programming Environment for Visual Block-Based Domain-Specific Languages. Procedia Computer Science, Vol. 62, Issue. , p. 287.
- Publisher: Cambridge University Press
- Online publication date: June 2012
- Print publication year: 1987
- Online ISBN: 9781139171892
- DOI: https://doi.org/10.1017/CBO9781139171892