Jeremy Gibbons - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Jeremy Gibbons' as author, editor, or advisor:

Domain specific modelling for clinical researchJim Davies, Jeremy Gibbons, Adam Milward, David Milward, Seyyed Shah, Monika Solanki, James Welch. OOPSLA 2015: 1-8 [doi]
Continuation-Passing Style, Defunctionalization, Accumulations, and AssociativityJeremy Gibbons. Programming, 6(2):7, 2022. [doi]
Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial LecturesJeremy Gibbons, Perdita Stevens, editors, Volume 9715 of Lecture Notes in Computer Science, Springer, 2018. [doi]
On principles of Least Change and Least Surprise for bidirectional transformationsJames Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens. jot, 16(1), 2017. [doi]
SIGPLAN vice-chair's reportJeremy Gibbons. SIGPLAN, 49(4S):2, 2014. [doi]
Kernels, in a nutshellJeremy Gibbons. jlp, 85(5):921-930, 2016. [doi]
The CancerGrid experience: Metadata-based model-driven engineering for clinical trialsJim Davies, Jeremy Gibbons, Steve Harris, Charles Crichton. SCP, 89:126-143, 2014. [doi]
APLicative programming with Naperian functors (extended abstract)Jeremy Gibbons. ICFP 2016: 13-14 [doi]
On OntologologyPerdita Stevens, Jeremy Gibbons. etaps 2017: 54-58 [doi]
Machine learning and software engineering in health informaticsDavid A. Clifton, Jeremy Gibbons, Jim Davies, Lionel Tarassenko. ICSE 2012: 37-41 [doi]
AlgorithmicsRichard S. Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, Lambert G. L. T. Meertens, Bernhard Möller, Carroll Morgan, Tom Schrijvers, Wouter Swierstra, Nicolas Wu. In Michael Goedicke, Erich Neuhold, Kai Rannenberg, editors, Advancing Research in Information and Communication Technology - IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups. Volume 600 of IFIP Advances in Information and Communication Technology, pages 59-98, Springer, 2021. [doi]
Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion SchemesRalf Hinze, Nicolas Wu, Jeremy Gibbons. POPL 2015: 527-538 [doi]
Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, ARRAY@PLDI 2019, Phoenix, AZ, USA, June 22, 2019Jeremy Gibbons, editor, ACM, 2019. [doi]
Free delivery (functional pearl)Jeremy Gibbons. haskell 2016: 45-50 [doi]
Coding with Asymmetric Numeral SystemsJeremy Gibbons. mpc 2019: 444-465 [doi]
What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl)Guillaume Boisseau, Jeremy Gibbons. PACMPL, 2(ICFP), 2018. [doi]
Functional Programming for Domain-Specific LanguagesJeremy Gibbons. cefp 2015: 1-28 [doi]
Model-driven engineering of information systems: 10 years and 1000 versionsJim Davies, Jeremy Gibbons, James Welch, Edward Crichton. SCP, 89:88-104, 2014. [doi]
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019David Darais, Jeremy Gibbons, editors, ACM, 2019. [doi]
The Coinductive Resumption MonadMaciej Piróg, Jeremy Gibbons. ENTCS, 308:273-288, 2014. [doi]
Relational algebraic ornamentsHsiang-Shang Ko, Jeremy Gibbons. ICFP 2013: 37-48 [doi]
EditorialJeremy Gibbons, Shriram Krishnamurthi. JFP, 32, 2022. [doi]
Folding domain-specific languages: deep and shallow embeddings (functional Pearl)Jeremy Gibbons, Nicolas Wu. ICFP 2014: 339-347 [doi]
Metadata-driven software for clinical trialsCharles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Andrew Tsui, James D. Brenton. ICSE 2009: 1-11 [doi]
Reflections on Monadic LensesFaris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens. BIRTHDAY 2016: 1-31 [doi]
A new view of binary treesJeremy Gibbons. PhD thesis, University of Oxford, UK, 1988. [doi]
Comprehending Ringads (keynote)Jeremy Gibbons. DBPL 2019: 1 [doi]
ARRAY 2021: Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, Virtual Event, Canada, 21 June, 2021Tze Meng Low, Jeremy Gibbons, editors, ACM, 2021. [doi]
Modules Over Monads and Their AlgebrasMaciej Piróg, Nicolas Wu, Jeremy Gibbons. calco 2015: 290-303 [doi]
Programming Language Support for Emerging Memory Technologie (NII Shonan Meeting 181)Peter Braam, Jeremy Gibbons, Oleg Kiselyov. shonan-reports, 2022, 2022. [doi]
Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016Anthony Anjorin, Jeremy Gibbons, editors, Volume 1571 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]
Parametric datatype-genericityJeremy Gibbons, Ross Paterson. ICFP 2009: 85-93 [doi]
Notions of Bidirectional Computation and Entangled State MonadsFaris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens. mpc 2015: 187-214 [doi]
Breadth-First Traversal via StagingJeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu. mpc 2022: 1-33 [doi]
Towards a Principle of Least Surprise for Bidirectional TransformationsJames Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens. staf 2015: 66-80 [doi]
Practices of PLDIHans-Juergen Boehm, Jack W. Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary W. Hall, Graham Hutton, David A. Padua, Frank Tip, Jan Vitek, Philip Wadler. SIGPLAN, 49(4S):33-38, 2014. [doi]
The School of Squiggol - A History of the Bird-Meertens FormalismJeremy Gibbons. FM 2020: 35-53 [doi]
Comprehending Ringads - For Phil Wadler, on the Occasion of his 60th BirthdayJeremy Gibbons. BIRTHDAY 2016: 132-151 [doi]
First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996Douglas S. Bridges, Cristian S. Calude, Jeremy Gibbons, Steve Reeves, Ian H. Witten, editors, Springer-Verlag, Singapore, 1996. [doi]
How to design co-programsJeremy Gibbons. JFP, 31, 2021. [doi]
Phases in Software ArchitectureJeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu. funarch 2023: 29-33 [doi]
Programming with ornamentsHsiang-Shang Ko, Jeremy Gibbons. JFP, 27, 2017. [doi]
Relational algebra by way of adjunctionsJeremy Gibbons, Fritz Henglein, Ralf Hinze, Nicolas Wu. PACMPL, 2(ICFP), 2018. [doi]
Introduction to Bidirectional TransformationsFaris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens. ac 2018: 1-28 [doi]
Coalgebraic Aspects of Bidirectional ComputationFaris Abou-Saleh, James McKinna, Jeremy Gibbons. staf 2015: 16-30 [doi]
Algorithm Design with the Selection MonadJohannes Hartmann, Jeremy Gibbons. sfp 2022: 126-143 [doi]
The Essence of the ITERATOR PatternJeremy Gibbons, Bruno C. D. S. Oliveira. mpc 2006: [doi]
Modularising inductive familiesHsiang-Shang Ko, Jeremy Gibbons. ICFP 2011: 13-24 [doi]
Profunctor Optics: Modular Data AccessorsMatthew Pickering, Jeremy Gibbons, Nicolas Wu. Programming, 1(2):7, 2017. [doi]
Coalgebraic Aspects of Bidirectional ComputationFaris Abou-Saleh, James McKinna, Jeremy Gibbons. jot, 16(1), 2017. [doi]
APLicative Programming with Naperian FunctorsJeremy Gibbons. ESOP 2017: 556-583 [doi]

runs on WebDSL