Follow
Roland Backhouse
Roland Backhouse
Professor of Computing Science, University of Nottingha
Verified email at cs.nott.ac.uk
Title
Cited by
Cited by
Year
Program construction and verification
RC Backhouse
Prentice-Hall, Inc., 1986
2741986
Generic programming
R Backhouse, P Jansson, J Jeuring, L Meertens
Advanced Functional Programming: Third International School, AFP’98, Braga …, 1999
2411999
Regular algebra applied to path-finding problems
RC Backhouse, BA Carré
IMA Journal of Applied Mathematics 15 (2), 161-186, 1975
2351975
Elements of a relational theory of datatypes
R Backhouse, P Hoogendijk
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report, 7-42, 1993
1611993
Syntax of programming languages: theory and practice
RC Backhouse
Prentice-Hall, Inc., 1979
1561979
Do-it-yourself type theory
R Backhouse, P Chisholm, G Malcolm, E Saaman
Formal Aspects of Computing 1, 19-84, 1989
1341989
An exploration of the Bird-Meertens formalism
RC Backhouse
University of Groningen, Department of Mathematics and Computing Science, 1988
1171988
Program Construction
R Backhouse
John Wiley and Sons, Inc, 2003
1132003
Galois connections and fixed point calculus
R Backhouse
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction …, 2002
111*2002
Polynomial relators
RC Backhouse, PJ de Bruin, PF Hoogendijk
Technische Universiteit Eindhoven, 1991
991991
Demonic operators and monotype factors
R Backhouse, J van der Woude
Mathematical Structures in Computer Science 3 (4), 417-433, 1993
891993
A relational theory of datatypes
CJ Aarts, RC Backhouse, PF Hoogendijk, TS Voermans, J van der Woude
Technische Universiteit Eindhoven, 1992
851992
Relational catamorphisms
RC Backhouse, PJ de Bruin, GR Malcolm, TS Voermans, ...
Technische Universiteit Eindhoven, 1991
801991
A calculational approach to mathematical induction
H Doornbos, R Backhouse, J Van Der Woude
Theoretical Computer Science 179 (1-2), 103-135, 1997
771997
Safety of abstract interpretations for free, via logical relations and Galois connections
K Backhouse, R Backhouse
Science of Computer Programming 51 (1-2), 153-196, 2004
612004
Calculating path algorithms
RC Backhouse, J Van Den Eijnde, AJM Van Gasteren
Science of Computer Programming 22 (1-2), 3-19, 1994
531994
On the meaning and construction of the rules in Martin-Löf's theory of types
R Backhouse
University of Groningen, Department of Mathematics and Computing Science, 1986
511986
Closure algorithms and the star-height problem of regular languages
RC Backhouse
Imperial College London, 1976
501976
Categorical fixed point calculus
R Backhouse, M Bijsterveld, R van Geldrop, J van der Woude
Category Theory and Computer Science: 6th International Conference, CTCS'95 …, 1995
421995
Algorithmic problem solving
R Backhouse
John Wiley & Sons, 2011
412011
The system can't perform the operation now. Try again later.
Articles 1–20