Jeremy Gibbons
#25,223
Most Influential Person Now
British computer scientist
Jeremy Gibbons's AcademicInfluence.com Rankings
Jeremy Gibbonscomputer-science Degrees
Computer Science
#1287
World Rank
#1330
Historical Rank
Programming
#46
World Rank
#48
Historical Rank
Database
#5175
World Rank
#5375
Historical Rank
Download Badge
Computer Science
Why Is Jeremy Gibbons Influential?
(Suggest an Edit or Addition)According to Wikipedia, Jeremy Gibbons is a computer scientist and professor of computing at the University of Oxford. He serves as Deputy Director of the Software Engineering Programme in the Department of Computer Science, Governing Body Fellow at Kellogg College and Pro-Proctor of the University of Oxford.
Jeremy Gibbons's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- A Process Semantics for BPMN (2008) (192)
- Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000) (106)
- Fast and loose reasoning is morally correct (2006) (101)
- Just do it: simple monadic equational reasoning (2011) (92)
- Datatype-Generic Programming (2006) (90)
- The under-appreciated unfold (1998) (87)
- Folding domain-specific languages: deep and shallow embeddings (functional Pearl) (2014) (72)
- The Third Homomorphism Theorem (1996) (69)
- Calculating Functional Programs (2000) (68)
- Proof Methods for Corecursive Programs (2005) (65)
- A Process-Algebraic Approach to Workflow Specification and Refinement (2007) (65)
- Science of Computer Programming (2014) (64)
- Formalisations and applications of BPMN (2011) (64)
- The essence of the Iterator pattern (2006) (60)
- Profunctor Optics: Modular Data Accessors (2017) (56)
- A Relative Timed Semantics for BPMN (2009) (56)
- The Fun of Programming (2003) (53)
- Efficient Parallel Algorithms for Tree Accumulations (1994) (49)
- The visitor pattern as a reusable, generic, type-safe component (2008) (47)
- Formal Derivation of a Pattern Matching Algorithm (1989) (45)
- Design patterns as higher-order datatype-generic programs (2006) (44)
- When is a function a fold or an unfold? (2001) (43)
- Notions of Bidirectional Computation and Entangled State Monads (2015) (43)
- Algebras for tree algorithms (1991) (43)
- Upwards and Downwards Accumulations on Trees (1992) (42)
- TypeCase: a design pattern for type-indexed functions (2005) (41)
- Property specifications for workflow modelling (2009) (40)
- An Initial-Algebra Approach to Directed Acyclic Graphs (1995) (37)
- Verifying Business Process Compatibility (Short Paper) (2008) (33)
- FUNCTIONAL PEARL: Enumerating the rationals (2006) (32)
- Disciplined, efficient, generalised folds for nested datatypes (2004) (32)
- Generic downwards accumulations (2000) (32)
- Scala for generic programmers (2008) (31)
- Linear−time Breadth−first Tree Algorithms: An Exercise in the Arithmetic of Folds and Zips (1993) (29)
- Metadata standards for semantic interoperability in electronic government (2008) (29)
- Incremental updates for efficient bidirectional transformations (2011) (29)
- Machine learning and software engineering in health informatics (2012) (28)
- The Coinductive Resumption Monad (2014) (28)
- Towards a Repository of Bx Examples (2014) (27)
- The generic approximation lemma (2001) (27)
- Model-driven engineering of information systems: 10 years and 1000 versions (2014) (27)
- An Introduction to the Bird−Meertens Formalism (1994) (25)
- Functional Programming for Domain-Specific Languages (2013) (25)
- Computing Downwards Accumulations on Trees Quickly (1996) (23)
- Semantic frameworks for e-government (2007) (22)
- The CancerGrid experience: Metadata-based model-driven engineering for clinical trials (2014) (22)
- Understanding idiomatic traversals backwards and forwards (2013) (21)
- Verifying Business Process Compatibility (2007) (21)
- Relating Algebraic and Coalgebraic Descriptions of Lenses (2012) (21)
- Introduction to Bidirectional Transformations (2018) (20)
- Profunctor optics, a categorical update (2020) (20)
- Modularising inductive families (2011) (20)
- Foundations of Health Information Engineering and Systems (2013) (20)
- What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl) (2018) (19)
- Metadata-driven software for clinical trials (2009) (19)
- A pointless derivation of radix sort (1999) (19)
- Towards a Principle of Least Surprise for Bidirectional Transformations (2015) (19)
- Patterns in Datatype−Generic Programming (2003) (18)
- Refactoring pattern matching (2013) (18)
- Parametric datatype-genericity (2009) (18)
- Polytypic Downwards Accumulations (1998) (17)
- Reflections on Monadic Lenses (2016) (17)
- On principles of Least Change and Least Surprise for bidirectional transformations (2017) (17)
- Arithmetic Coding with Folds and Unfolds (2002) (17)
- Algorithmics (2021) (17)
- Model-driven architecture for cancer research (2007) (16)
- Cross-Trial Query System for Cancer Clinical Trials (2007) (16)
- Conjugate Hylomorphisms -- Or (2015) (15)
- Fission for Program Comprehension (2006) (15)
- Relational algebraic ornaments (2013) (15)
- Proof methods for structured corecursive programs (1999) (15)
- Generic Programming: Advanced Lectures (2003) (14)
- Relational algebra by way of adjunctions (2018) (14)
- Gradual Refinement Blending Pattern Matching with Data Abstraction (2010) (14)
- Structured programming in Java (1998) (14)
- Unifying Theories of Programming with Monads (2012) (14)
- Metamorphisms: Streaming representation-changers (2007) (14)
- Deriving Tidy Drawings of Trees (1996) (14)
- Invited Talk: Pointwise Relational Programming (2000) (14)
- Comprehending Ringads - For Phil Wadler, on the Occasion of his 60th Birthday (2016) (13)
- Tracing monadic computations and representing effects (2012) (13)
- Programming with ornaments (2016) (13)
- Enumerating the Rationals (2004) (13)
- Conditionals in Distributive Categories (1997) (12)
- APLicative Programming with Naperian Functors (2017) (11)
- Generic and Indexed Programming : International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures (2012) (10)
- Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating−Point Unit (1993) (10)
- Algorithm Design with Haskell (2020) (10)
- Streaming Representation-Changers (2004) (10)
- Unifying Theories of Locations (2008) (10)
- Monads for Behaviour (2013) (10)
- On the semantics of nested datatypes (2001) (9)
- Program Optimisation‚ Naturally (2000) (9)
- Folding domain-specific languages (2014) (8)
- Algebraic Methods for Optimization Problems (2000) (8)
- Compositionality and Refinement in Model-Driven Engineering (2012) (8)
- On Specifying and Visualising Long-Running Empirical Studies (2008) (8)
- Unbounded Spigot Algorithms for the Digits of Pi (2006) (8)
- A Monadic Interpretation of Tactics (2002) (8)
- Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting (1997) (8)
- Free delivery (functional pearl) (2016) (7)
- Unfolding Abstract Datatypes (2008) (7)
- Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany (2003) (7)
- Modular Tree Automata (2012) (6)
- WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research (2008) (6)
- On the supervision and assessment of part-time postgraduate software engineering projects (2003) (6)
- Bidirectional Transformations (2018) (6)
- Entangled State Monads (2014) (6)
- Coalgebraic Aspects of Bidirectional Computation (2015) (6)
- Tracing Lazy Functional Languages (1996) (6)
- Functional Pearls (1996) (5)
- Evolving Health Informatics: Semantic Frameworks and Metadata−Driven Architectures (2008) (5)
- Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs (1999) (5)
- How to design co-programs (2021) (5)
- Generic Programming (2003) (5)
- Semantic technologies in electronic government (2008) (5)
- Domain specific modelling for clinical research (2015) (5)
- Unifying Theories of Objects (2007) (4)
- Form Follows Function - Model-Driven Engineering for Clinical Trials (2011) (4)
- Coding with Asymmetric Numeral Systems (2019) (4)
- Reasoning about Probability and Nondeterminism (2016) (4)
- Quantitative Information Flow with Monads in Haskell (2020) (4)
- Formal methods for future interoperability (2009) (4)
- Semantics-Driven Development for Electronic Government Applications (2009) (4)
- Proceedings of the IFIP TC2/WG2.1 Working Conference on Generic Programming (2002) (4)
- Proceedings of the third ACM Haskell symposium on Haskell (2010) (4)
- Modules Over Monads and Their Algebras (2015) (4)
- Model−Driven Support for a Vaccine Study in Kathmandu (2009) (4)
- Translucent Abstraction: Safe Views through Invertible Programming (2009) (3)
- A Coalgebraic Approach to Bidirectional Transformations (2014) (3)
- Engineering Agile Big-Data Systems (2018) (3)
- Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (2007) (3)
- Entangled State Monads Extended abstract (2014) (3)
- Generic and Indexed Programming (2012) (3)
- Formalisations and applications of business process modelling notation (2011) (3)
- Accelerating Cancer Research Using Semantics−Driven Technology (2008) (3)
- APLicative programming with Naperian functors (extended abstract) (2016) (3)
- Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings (2009) (3)
- Effective Reasoning about Effectful Traversals (2011) (2)
- Deep Zoom and Touch Screen for Tissue Microarray Image Scoring (2010) (2)
- Towards a Colimit-Based Semantics for Visual Programming (2002) (2)
- Be Kind, Rewind A Modest Proposal about Traversal (2012) (2)
- A Functional Derivation of the Warren Abstract Machine (2011) (2)
- Interoperability frameworks for electronic governance (2008) (2)
- Accumulating Attributes (for Doaitse Swierstra‚ on his retirement) (2013) (2)
- Gradual Refinement (2010) (2)
- Discussion: The Role of Types in Generic Programming (2002) (1)
- Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity (2021) (1)
- A new view of binary trees (1988) (1)
- Unbounded Spigot Algorithms for the Digits of π (2004) (1)
- Against the Grain: Linear−Time Breadth−First Tree Algorithms (1998) (1)
- Semantic Frameworks - Meanings in the Architecture (2010) (1)
- Science relies on computer modelling – so what happens when it goes wrong? (2016) (1)
- How to Derive Tidy Drawings of Trees (1994) (1)
- Generic Programming (2003) (1)
- Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity Blue(draft) (2021) (1)
- Dotted and Dashed Lines in (1995) (1)
- Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software (ETAPS 2017) (2017) (1)
- Generic Programming (2003) (1)
- Semantic technologies in electronic government: Tutorial and workshop (2008) (1)
- The School of Squiggol - A History of the Bird-Meertens Formalism (2019) (1)
- Modularising inductive families (Special issue : Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs) (2013) (1)
- Unifying Recursion Schemes (2013) (1)
- Ways of searching (2020) (1)
- Kernels, in a nutshell (2016) (1)
- Code from paper "Relational Algebra by Way of Adjunctions" (2018) (1)
- Dotted and Dashed Lines in Metafont (1995) (1)
- Streaming Algorithms (extended Abstract) (2004) (0)
- ACM SIGPLAN vice-chair's report (2013) (0)
- Algorithm Design with the Selection Monad (2022) (0)
- Selected papers from Mathematics of Program Construction 2012 (2014) (0)
- Categories for the Working Haskeller (2014) (0)
- Edinburgh Research Explorer Towards a Repository of Bx Examples (2014) (0)
- Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11-12, 2002, Dagstuhl, Germany (2013) (0)
- Discussion: Views of Genericity (2002) (0)
- Report on Fourth Workshop on Commercial Users of Functional Programming (2007) (0)
- On Ontologology (2017) (0)
- Session details: Functional programming and the masses (2007) (0)
- Greedy algorithms on lists (2020) (0)
- Proceedings of the 2010 international spring school conference on Generic and Indexed Programming (2010) (0)
- Editorial (2021) (0)
- NLE volume 22 issue 5 Cover and Back matter (2016) (0)
- Editorial (2010) (0)
- Electronic Communications of the EASST Volume X ( 2012 ) Proceedings of the First International Workshop on Bidirectional Transformations ( BX 2012 ) Relating Algebraic and Coalgebraic Descriptions of Lenses (2012) (0)
- 12th International Workshop on Coalgebraic Methods in Computer Science CMCS'14 (2014) (0)
- Comprehending Ringads (keynote) (2019) (0)
- NLE volume 22 issue 4 Cover and Back matter (2016) (0)
- Proceedings of the 2nd International Conference on Teaching Formal Methods (2009) (0)
- Revised Selected Papers of the Third International Symposium on Foundations of Health Information Engineering and Systems - Volume 8315 (2013) (0)
- Reflections on monadic lenses (2016) (0)
- Introduction to thinning (2020) (0)
- Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research (2008) (0)
- Fourth ACM SIGPLAN Workshop on Commercial Users of Functional Programming (2007) (0)
- Useful data structures (2020) (0)
- Edinburgh Research Explorer Reflections on monadic lenses (2016) (0)
- Proceedings of the 11th international conference on Mathematics of Program Construction (2012) (0)
- Compositionality in Embedded Domain−Specific Languages (2014) (0)
- Mathematics of program construction : 11th international conference, MPC 2012, Madrid, Spain, June 25-27, 2012, proceedings (2012) (0)
- Session details: Session 2 (2009) (0)
- From Push/Enter to Eval/Apply by Program Transformation (2016) (0)
- Form Follows Function: Model-Driven Engineering for Clinical Trials: Invited Presentation at the IFIP Working Conference on Domain-Specific Languages (2011) (0)
- Session details: Programming with graphs and search (2012) (0)
- Erratum to: Generic Programming (2017) (0)
- Proceedings of the 2006 international conference on Datatype-generic programming (2006) (0)
- Compositionality in embedded DSLs (2014) (0)
- GRACE TECHNICAL REPORTS Proceedings of the First International Workshop on Formal Methods Education and Training (2008) (0)
- SIGPLAN vice-chair's report (2014) (0)
- Breadth-First Traversal via Staging (2022) (0)
- FUNCTIONAL PEARLS Editorial (2009) (0)
- Welcome from the chairs (2019) (0)
- Edinburgh Research Explorer On Ontologology (2017) (0)
- Session details: Programming with graphs and search (2012) (0)
- Categorical organisation of the ornament–refinement framework (2013) (0)
- Software Project Management for Combined Software and Data Engineering (2017) (0)
- Bi-directional transformations ( bx ) – Theory and Applications Across Disciplines (2014) (0)
- NLE volume 22 issue 3 Cover and Back matter (2016) (0)
- NLE volume 22 issue 6 Cover and Back matter (2016) (0)
- Formal Methods for Electronic Government (2008) (0)
- Session details: Session 1A: Types I (2015) (0)
- Functional Programming 1 Programming with Ornaments (2016) (0)
- Embedding an object calculus in the unifying theories of programming (2010) (0)
- NLE volume 22 issue 2 Cover and Back matter (2016) (0)
- Patterns in datatype-generic programming (extended abstract) (2004) (0)
- Integrated Formal Methods (2008) (0)
- Hints & Tricks " Hey — It Works! " (2000) (0)
- ATI Symposium on Reproducibility for Data−Intensive Research (2016) (0)
- More on Merging and Selection (1997) (0)
- Incremental Updates and Non-Free Datatypes (2013) (0)
- 3. Methodology (2014) (0)
- Greedy algorithms on trees (2020) (0)
- Programming Language Support for Emerging Memory Technologie (NII Shonan Meeting 181) (2022) (0)
- Generic and Indexed Programming (Project Paper) (2007) (0)
- ROB volume 32 issue 6 Cover and Back matter (2014) (0)
- Bidirectional Transformation is Effectful (2015) (0)
- CPC volume 23 issue 4 Cover and Back matter (2014) (0)
- Structured Programing in Java. (1998) (0)
- Proceedings Ninth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022 (2022) (0)
- All Things Flow (2021) (0)
- On "Methodological Irregularities in Programming Language Research" (2018) (0)
- Origami Programming 3.1 Introduction (2003) (0)
- Explorer Coalgebraic Aspects of Bidirectional Computation (2017) (0)
- Maximum Segment Sum, Monadically (distilled tutorial) (2011) (0)
- Session details: Session 3 (2009) (0)
- Session details: Session 1A: Types I (2015) (0)
- Deriving Tidy Drawings of Trees (1995) (1993) (0)
- Session details: Session 1 (2008) (0)
- Translucent Abstraction: Safe Views through Invertible Programming (Extended version) (2009) (0)
- Alan Turing Institute Symposium on Reproducibility for Data-Intensive Research (2016) (0)
- Greedy algorithms on graphs (2020) (0)
- Maximum Segment Sum , Monadically ( distilled tutorial , with solutions ) (2011) (0)
- Practices of PLDI (2014) (0)
- Proceedings of the 6th international conference on Integrated formal methods (2007) (0)
- Explorer Reflections on monadic lenses (2017) (0)
This paper list is powered by the following services:
Other Resources About Jeremy Gibbons
What Schools Are Affiliated With Jeremy Gibbons?
Jeremy Gibbons is affiliated with the following schools:
