Oege de Moor
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.