Jeremy Gibbons

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 29

Top Venues

CoRR

J. Funct. Program.

MPC

Sci. Comput. Program.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregiàn, Bartosz Milewski, Emily Pillmore, Mario Román
Profunctor Optics, a Categorical Update. Compositionality 6 (2024)
Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu
Phases in Software Architecture. FUNARCH (2023)
Jeremy Gibbons
Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity. Art Sci. Eng. Program. 6 (2) (2022)
Jeremy Gibbons, Shriram Krishnamurthi
Editorial. J. Funct. Program. 32 (2022)
Peter Braam, Jeremy Gibbons, Oleg Kiselyov
Programming Language Support for Emerging Memory Technologie (NII Shonan Meeting 181). NII Shonan Meet. Rep. 2022 (2022)
Johannes Hartmann, Jeremy Gibbons
Algorithm Design with the Selection Monad. TFP (2022)
Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu
Breadth-First Traversal via Staging. MPC (2022)
Jeremy Gibbons
Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity. CoRR (2021)
Jeremy Gibbons
How to design co-programs. J. Funct. Program. 31 (2021)
Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregiàn, Bartosz Milewski, Emily Pillmore, Mario Román
Profunctor optics, a categorical update. CoRR (2020)
Jeremy Gibbons
The School of Squiggol - A History of the Bird-Meertens Formalism. FM Workshops (2) (2019)
Jeremy Gibbons
Comprehending Ringads (keynote). DBPL (2019)
Jeremy Gibbons
Coding with Asymmetric Numeral Systems. MPC (2019)
Jeremy Gibbons, Fritz Henglein, Ralf Hinze, Nicolas Wu
Relational algebra by way of adjunctions. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Guillaume Boisseau, Jeremy Gibbons
What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl). Proc. ACM Program. Lang. 2 (ICFP) (2018)
Matthew Pickering, Jeremy Gibbons, Nicolas Wu
Profunctor Optics: Modular Data Accessors. CoRR (2017)
Jeremy Gibbons
APLicative Programming with Naperian Functors. ESOP (2017)
Matthew Pickering, Jeremy Gibbons, Nicolas Wu
Profunctor Optics: Modular Data Accessors. Art Sci. Eng. Program. 1 (2) (2017)
James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
On principles of Least Change and Least Surprise for bidirectional transformations. J. Object Technol. 16 (1) (2017)
Perdita Stevens, Jeremy Gibbons
On Ontologology. BX@ETAPS (2017)
Hsiang-Shang Ko, Jeremy Gibbons
Programming with ornaments. J. Funct. Program. 27 (2017)
Faris Abou-Saleh, James McKinna, Jeremy Gibbons
Coalgebraic Aspects of Bidirectional Computation. J. Object Technol. 16 (1) (2017)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Reflections on Monadic Lenses. CoRR (2016)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Introduction to Bidirectional Transformations. Bidirectional Transformations (2016)
Jeremy Gibbons
Free delivery (functional pearl). Haskell (2016)
Jeremy Gibbons
APLicative programming with Naperian functors (extended abstract). TyDe@ICFP (2016)
Jeremy Gibbons
Comprehending Ringads - For Phil Wadler, on the Occasion of his 60th Birthday. A List of Successes That Can Change the World (2016)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Reflections on Monadic Lenses. A List of Successes That Can Change the World (2016)
Jeremy Gibbons
Kernels, in a nutshell. J. Log. Algebraic Methods Program. 85 (5) (2016)
James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Towards a Principle of Least Surprise for Bidirectional Transformations. Bx@STAF (2015)
Maciej Piróg, Jeremy Gibbons
From Push/Enter to Eval/Apply by Program Transformation. WoC (2015)
Faris Abou-Saleh, James McKinna, Jeremy Gibbons
Coalgebraic Aspects of Bidirectional Computation. Bx@STAF (2015)
Ralf Hinze, Nicolas Wu, Jeremy Gibbons
Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. POPL (2015)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Notions of Bidirectional Computation and Entangled State Monads. MPC (2015)
Maciej Piróg, Nicolas Wu, Jeremy Gibbons
Modules Over Monads and Their Algebras. CALCO (2015)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Notions of bidirectional computation and entangled state monads. CoRR (2015)
Jim Davies, Jeremy Gibbons, Adam Milward, David Milward, Seyyed Shah, Monika Solanki, James Welch
Domain specific modelling for clinical research. DSM@SPLASH (2015)
Jeremy Gibbons, Pablo Nogueira
Selected papers from Mathematics of Program Construction 2012. Sci. Comput. Program. 85 (2014)
Jeremy Gibbons
SIGPLAN vice-chair's report. ACM SIGPLAN Notices 49 (4S) (2014)
Jim Davies, Jeremy Gibbons, Steve Harris, Charles Crichton
The CancerGrid experience: Metadata-based model-driven engineering for clinical trials. Sci. Comput. Program. 89 (2014)
James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons
Towards a Repository of Bx Examples. EDBT/ICDT Workshops (2014)
Maciej Piróg, Jeremy Gibbons
The Coinductive Resumption Monad. MFPS (2014)
James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh
Entangled State Monads. EDBT/ICDT Workshops (2014)
Jeremy Gibbons, Nicolas Wu
Folding domain-specific languages: deep and shallow embeddings (functional Pearl). ICFP (2014)
Jim Davies, Jeremy Gibbons, James Welch, Edward Crichton
Model-driven engineering of information systems: 10 years and 1000 versions. Sci. Comput. Program. 89 (2014)
Hans-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
Practices of PLDI. ACM SIGPLAN Notices 49 (4S) (2014)
Maciej Piróg, Jeremy Gibbons
Monads for Behaviour. MFPS (2013)
Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers
Understanding idiomatic traversals backwards and forwards. Haskell (2013)
Hsiang-Shang Ko, Jeremy Gibbons
Relational algebraic ornaments. DTP@ICFP (2013)
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
Refactoring pattern matching. Sci. Comput. Program. 78 (11) (2013)
Ralf Hinze, Nicolas Wu, Jeremy Gibbons
Unifying structured recursion schemes. ICFP (2013)
Jeremy Gibbons
ACM SIGPLAN vice-chair's report. ACM SIGPLAN Notices 48 (4S) (2013)
Jeremy Gibbons
Functional Programming for Domain-Specific Languages. CEFP (2013)
David A. Clifton, Jeremy Gibbons, Jim Davies, Lionel Tarassenko
Machine learning and software engineering in health informatics. RAISE@ICSE (2012)
Jeremy Gibbons
Unifying Theories of Programming with Monads. UTP (2012)
Jeremy Gibbons, Michael Johnson
Relating Algebraic and Coalgebraic Descriptions of Lenses. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012)
Maciej Piróg, Jeremy Gibbons
Tracing monadic computations and representing effects MSFP (2012)
Jim Davies, Jeremy Gibbons, David Milward, James Welch
Compositionality and Refinement in Model-Driven Engineering. SBMF (2012)
Hsiang-Shang Ko, Jeremy Gibbons
Modularising inductive families. WGP@ICFP (2011)
Jeremy Gibbons
Maximum Segment Sum, Monadically (distilled tutorial) DSL (2011)
Peter Y. H. Wong, Jeremy Gibbons
Property specifications for workflow modelling. Sci. Comput. Program. 76 (10) (2011)
Meng Wang, Jeremy Gibbons, Nicolas Wu
Incremental updates for efficient bidirectional transformations. ICFP (2011)
Jim Davies, Jeremy Gibbons, Radu Calinescu, Charles Crichton, Steve Harris, Andrew Tsui
Form Follows Function - Model-Driven Engineering for Clinical Trials. FHIES (2011)
Peter Y. H. Wong, Jeremy Gibbons
Formalisations and applications of BPMN. Sci. Comput. Program. 76 (8) (2011)
Jeremy Gibbons, Ralf Hinze
Just do it: simple monadic equational reasoning. ICFP (2011)
Bruno C. d. S. Oliveira, Jeremy Gibbons
Scala for generic programmers. J. Funct. Program. 20 (3-4) (2010)
Jim Davies, Jeremy Gibbons
Semantic Frameworks - Meanings in the Architecture. ICDCIT (2010)
Jeremy Gibbons
Editorial. J. Funct. Program. 20 (1) (2010)
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
Gradual Refinement. MPC (2010)
Peter Y. H. Wong, Jeremy Gibbons
A Relative Timed Semantics for BPMN. Electron. Notes Theor. Comput. Sci. 229 (2) (2009)
Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui
Semantics-Driven Development for Electronic Government Applications. HICSS (2009)
Peter Y. H. Wong, Jeremy Gibbons
Property Specifications for Workflow Modelling. IFM (2009)
Jeremy Gibbons, Ross Paterson
Parametric datatype-genericity. WGP@ICFP (2009)
Jim Davies, Jeremy Gibbons
Formal methods for future interoperability. ACM SIGCSE Bull. 41 (2) (2009)
Jeremy Gibbons, Bruno C. d. S. Oliveira
The essence of the Iterator pattern. J. Funct. Program. 19 (3-4) (2009)
Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Andrew Tsui, James D. Brenton
Metadata-driven software for clinical trials. SEHC@ICSE (2009)
Peter Y. H. Wong, Jeremy Gibbons
A Process Semantics for BPMN. ICFEM (2008)
Bruno C. d. S. Oliveira, Jeremy Gibbons
Scala for generic programmers. ICFP-WGP (2008)
Jeremy Gibbons
Unfolding Abstract Datatypes. MPC (2008)
Steve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton
Semantic technologies in electronic government. ICEGOV (2008)
Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons
The visitor pattern as a reusable, generic, type-safe component. OOPSLA (2008)
Peter Y. H. Wong, Jeremy Gibbons
On Specifying and Visualising Long-Running Empirical Studies. ICMT@TOOLS (2008)
Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Charles Crichton, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, James D. Brenton, Carlos Caldas
Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research. eScience (2008)
Michael Anthony Smith, Jeremy Gibbons
Unifying Theories of Locations. UTP (2008)
Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons
Metadata standards for semantic interoperability in electronic government. ICEGOV (2008)
Alejandra Cechich, Lorenzo Madrid, Jeremy Gibbons, Jay P. Kesan
Interoperability frameworks for electronic governance. ICEGOV (2008)
Peter Y. H. Wong, Jeremy Gibbons
Verifying Business Process Compatibility (Short Paper). QSIC (2008)
Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos Caldas
WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. CCGRID (2008)
Peter Y. H. Wong, Jeremy Gibbons
A Process-Algebraic Approach to Workflow Specification and Refinement. SC@ETAPS (2007)
Michael Anthony Smith, Jeremy Gibbons
Unifying Theories of Objects. IFM (2007)
Jeremy Gibbons
Metamorphisms: Streaming representation-changers. Sci. Comput. Program. 65 (2) (2007)
Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla
Semantic frameworks for e-government. ICEGOV (2007)
Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl
Model-driven architecture for cancer research. SEFM (2007)
Jeremy Gibbons, David R. Lester, Richard S. Bird
Functional Pearl: Enumerating the rationals. J. Funct. Program. 16 (3) (2006)
Jeremy Gibbons
Unbounded Spigot Algorithms for the Digits of Pi. Am. Math. Mon. 113 (4) (2006)
Jeremy Gibbons
Datatype-Generic Programming. SSDGP (2006)
Jeremy Gibbons, Bruno C. d. S. Oliveira
The Essence of the ITERATOR Pattern. MSFP@MPC (2006)
Jeremy Gibbons
Fission for Program Comprehension. MPC (2006)
Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons
Fast and loose reasoning is morally correct. POPL (2006)
Jeremy Gibbons
Design patterns as higher-order datatype-generic programs. ICFP-WGP (2006)

Jeremy Gibbons.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jeremy Gibbons