Roland C. Backhouse

Born: 1948

No bio available. Add one in Open Library.

Born: 1948

Books by Roland C. Backhouse (50 max)

+ shelf+ list

Algorithmic Problem Solving

2012

Roland C. Backhouse

+ shelf+ list

Program Construction

2003

Roland C. Backhouse

+ shelf+ list

Syntax of programming languages: theory and practice

1979

Roland C. Backhouse

+ shelf+ list

Program construction and verification

1986

Roland C. Backhouse

+ shelf+ list

Construction et vérification de programmes

1989

Roland C. Backhouse

+ shelf+ list

Generic Programming: Advanced Lectures (Lecture Notes in Computer Science)

2003

Roland C. Backhouse

+ shelf+ list

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

2003

Roland C. Backhouse, Roy Crole, Jeremy Gibbons

+ shelf+ list

Mathematics of Program Construction 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

2006

Roland C. Backhouse, Jose Nuno Oliveira

+ shelf+ list

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

2007

Roland C. Backhouse

+ shelf+ list

Datatype-generic Programming

2008

Roland C. Backhouse, Jeremy Gibbons, Ralf Hinze

+ shelf+ list

Algorithmic problem solving

2011

Roland C. Backhouse