R
Roland C. Backhouse
1948
9 works on record
Works

Algorithmic problem solving

Generic programming

Datatype-Generic Programming

Syntax of programming languages

Program construction and verification

Program Construction
Mathematics of Program Construction
Mathematics of Program Construction
2006
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Construction et vérification de programmes
Construction et vérification de programmes