“ The Algebra of Programming group at Oxford studies programming languages and methods. In particular, we are concerned with mathematically sound yet ergonomically convenient techniques for manipulating and reasoning with programs: a calculus is worthless if it is not sound, and useless if it is not easy to work with.
May
09
2009
