Oege de Moor
Professor Oege de Moor
Professor of Computer Science
Tutorial Fellow, Magdalen CollegeLeaving date: 31st July 2015
InterestsMy research aims to make programmers better at what they do, by providing new tools and languages. I like applying theory, especially when it is driven by good applications. In the past I have worked on functional programming, program derivation, category theory and predicate transformer semantics.
The Algebra of Programming
Richard Bird and Oege de Moor
In Manfred Broy, editor, Proceedings of the NATO Advanced Study Institute on Deductive Program Design. Pages 167−203. Springer−Verlag. 1994.
Details about The Algebra of Programming | BibTeX data for The Algebra of Programming | Link to The Algebra of Programming