Jeremy Gibbons
When is a Function a Fold, or an Unfold?
25:52
Jeremy Gibbons
Turner, Bird, Eratosthenes: An Eternal Burning Thread
54:24
Jeremy Gibbons
Software Engineering at Oxford
18:01
Jeremy Gibbons
How to Design Co-Programs
13:56
Jeremy Gibbons
Algebra of Programming
1:31
Jeremy Gibbons
Algebra of Programming research group at the University of Oxford
1:57