Algebra of Programming

The Algebra of Programming group researches mathematically sound yet convenient techniques for manipulating and reasoning with programs, with a particular interest in the functional and relational paradigms and in generic programming. It seeks patterns in specifications, algorithms and programs, and abstracts these patterns to derive solutions to general classes of problems. An active weekly seminar consists of interactive problem-solving discussions around the whiteboard.

Related seminar series

OASIS: The Oxford Advanced Seminar on Informatic Structures

People

Contact for Activity

Faculty	Richard Bird Jeremy Gibbons Ralf Hinze Geraint Jones
Research	José Pedro Magalhães Nicolas Wu
Students	Josh Ko Maciej Pirog
External	Sharon Curtis (Oxford Brookes)
Past Members	Stephen Drape Tom Harper Daniel James Bruno Oliveira Meng Wang

Selected Publications

View all

Sorting with Bialgebras and Distributive Laws

Ralf Hinze‚ Daniel W.H. James‚ Thomas Harper‚ Nicolas Wu and José Pedro Magalhães

May, 2012.

Accepted to WGP '12

Details | BibTeX | Link

Unifying Recursion Schemes

Ralf Hinze‚ Nicolas Wu and Jeremy Gibbons

In International Conference on Functional Programming. March, 2013.

Submitted for publication

Details | BibTeX | Download (pdf)

Relational algebraic ornaments

Hsiang−Shang Ko and Jeremy Gibbons

Submitted to ICFP'13. March, 2013.

Details | BibTeX | Download (pdf)

Links

Wiki

Mailing list

Info

Current projects	Unifying Theories of Generic Programming
Completed projects	Datatype-Generic Programming Generic and Indexed Programming Reusability and Dependent Types Siemens Obfuscation Project
Themes	Programming Languages