Jeremy Gibbons is Professor of Computing at the University of Oxford, where he is director of the part-time professional master's programme in software engineering. He has been devoted to functional programming since the late eighties; his particular interests are in patterns in functional programming, in reasoning about programs, in generic programming, and in embedded domain-specific languages.
He is Editor-in-Chief of the Journal of Functional Programming, Chair of IFIP WG2.1 on Algorithmic Languages and Calculi (which designed Algol68, although he can claim none of the glory for that), and Vice-Chair of ACM SIGPLAN
Talks I've Given
Categories for the Working Haskeller
Featuring Jeremy Gibbons
The Haskell community is famous - perhaps infamous - for its enthusiasm for category theory. Why is this? Is it important to understand categories before you can understand Haskell programs? Is it an attempt to keep the community as pure as the language? Is it just that Haskell is a refuge for...haskell functional-programming category-theory data-types generic-programming