Jeremy Gibbons
University of Oxford
H-index: 38
Europe-United Kingdom
Top articles of Jeremy Gibbons
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Effect Handlers and General Purpose Languages | NIIShonanMeetingReport | Jonathan Immanuel Brachthäuser Youyou Cong Jeremy Gibbons | 2024 |
Phases in Software Architecture | Jeremy Gibbons Donnacha Oisín Kidney Tom Schrijvers Nicolas Wu | 2023/8/30 | |
Proceedings Ninth Workshop on Mathematically Structured Functional Programming | arXiv preprint arXiv:2206.09534 | Jeremy Gibbons Max S New | 2022/6/20 |
Algorithm Design with the Selection Monad | Johannes Hartmann Jeremy Gibbons | 2022/3/17 | |
Continuation-passing style, defunctionalization, accumulations, and associativity | The Art, Science, and Engineering of Programming | Jeremy Gibbons | 2021/1/1 |
Algorithmics | Advancing Research in Information and Communication Technology: IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups | Richard Bird Jeremy Gibbons Ralf Hinze Peter Höfner Johan Jeuring | 2021 |
How to design co-programs | Journal of Functional Programming | J Gibbons | 2021 |
The school of Squiggol: A history of the Bird–Meertens formalism | Jeremy Gibbons | 2020 | |
Algorithm Design with Haskell | Richard Bird Jeremy Gibbons | 2020/7/31 | |
Profunctor optics, a categorical update | arXiv preprint arXiv:2001.07488 | Bryce Clarke Derek Elkins Jeremy Gibbons Fosco Loregian Bartosz Milewski | 2020/1/21 |