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	Tom Harper Daniel James Josh Ko Maciej Pirog
External	Sharon Curtis
Past Members	Stephen Drape Meng Wang

Selected Publications

View all

Modularising inductive families

Hsiang−Shang Ko and Jeremy Gibbons

2012.

Submitted to Progress in Informatics.

Details | BibTeX

Modularising inductive families

Hsiang−Shang Ko and Jeremy Gibbons

In Jaakko Järvi and Shin−Cheng Mu, editors, Workshop on Generic Programming. Pages 13−24. September, 2011.

Details | BibTeX

A Functional Derivation of the Warren Abstract Machine

Maciej Pirog and Jeremy Gibbons

2011.

Submitted for publication

Details | BibTeX

Links

Wiki

Mailing list

Info

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