default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJeremy Gibbons
Person information
- affiliation: University of Oxford, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j41]Bryce Clarke
, Derek Elkins, Jeremy Gibbons, Fosco Loregiàn, Bartosz Milewski, Emily Pillmore, Mario Román:
Profunctor Optics, a Categorical Update. Compositionality 6: 1 (2024)- [e18]Jeremy Gibbons, Dale Miller:
Functional and Logic Programming - 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings. Lecture Notes in Computer Science 14659, Springer 2024, ISBN 978-981-97-2299-0 [contents] - 2023
- [c79]Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu:
Phases in Software Architecture. FUNARCH 2023: 29-33 - 2022
- [j40]Jeremy Gibbons, Shriram Krishnamurthi:
Editorial. J. Funct. Program. 32: e1 (2022) - [j39]Jeremy Gibbons:
Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity. Art Sci. Eng. Program. 6(2): 7 (2022) - [c78]Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu:
Breadth-First Traversal via Staging. MPC 2022: 1-33 - [c77]Johannes Hartmann, Jeremy Gibbons:
Algorithm Design with the Selection Monad. TFP 2022: 126-143 - [e17]Jeremy Gibbons, Max S. New:
Proceedings Ninth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022. EPTCS 360, 2022 [contents] - [i6]Peter Braam, Jeremy Gibbons, Oleg Kiselyov:
Programming Language Support for Emerging Memory Technologie (NII Shonan Meeting 181). NII Shonan Meet. Rep. 2022 (2022) - 2021
- [j38]Jeremy Gibbons:
How to design co-programs. J. Funct. Program. 31: e15 (2021) - [p1]Richard 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:
Algorithmics. IFIP's Exciting First 60+ Years 2021: 59-98 - [e16]Tze Meng Low, Jeremy Gibbons:
ARRAY 2021: Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, Virtual Event, Canada, 21 June, 2021. ACM 2021, ISBN 978-1-4503-8466-7 [contents] - [i5]Jeremy Gibbons:
Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity. CoRR abs/2111.10413 (2021) - 2020
- [i4]Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregiàn, Bartosz Milewski, Emily Pillmore, Mario Román:
Profunctor optics, a categorical update. CoRR abs/2001.07488 (2020)
2010 – 2019
- 2019
- [c76]Jeremy Gibbons:
Comprehending Ringads (keynote). DBPL 2019: 1 - [c75]Jeremy Gibbons:
The School of Squiggol - A History of the Bird-Meertens Formalism. FM Workshops (2) 2019: 35-53 - [c74]Jeremy Gibbons:
Coding with Asymmetric Numeral Systems. MPC 2019: 444-465 - [e15]David Darais, Jeremy Gibbons:
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019. ACM 2019, ISBN 978-1-4503-6815-5 [contents] - [e14]Jeremy Gibbons:
Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, ARRAY@PLDI 2019, Phoenix, AZ, USA, June 22, 2019. ACM 2019, ISBN 978-1-4503-6717-2 [contents] - 2018
- [j37]Guillaume Boisseau, Jeremy Gibbons:
What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl). Proc. ACM Program. Lang. 2(ICFP): 84:1-84:27 (2018) - [j36]Jeremy Gibbons, Fritz Henglein, Ralf Hinze, Nicolas Wu:
Relational algebra by way of adjunctions. Proc. ACM Program. Lang. 2(ICFP): 86:1-86:28 (2018) - [e13]Jeremy Gibbons, Perdita Stevens:
Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. Lecture Notes in Computer Science 9715, Springer 2018, ISBN 978-3-319-79107-4 [contents] - 2017
- [j35]Hsiang-Shang Ko, Jeremy Gibbons:
Programming with ornaments. J. Funct. Program. 27: e2 (2017) - [j34]Faris Abou-Saleh, James McKinna, Jeremy Gibbons:
Coalgebraic Aspects of Bidirectional Computation. J. Object Technol. 16(1): 1:1-29 (2017) - [j33]James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
On principles of Least Change and Least Surprise for bidirectional transformations. J. Object Technol. 16(1): 3:1-31 (2017) - [j32]Matthew Pickering, Jeremy Gibbons, Nicolas Wu:
Profunctor Optics: Modular Data Accessors. Art Sci. Eng. Program. 1(2): 7 (2017) - [c73]Jeremy Gibbons:
APLicative Programming with Naperian Functors. ESOP 2017: 556-583 - [c72]Perdita Stevens, Jeremy Gibbons:
On Ontologology. BX@ETAPS 2017: 54-58 - [i3]Matthew Pickering, Jeremy Gibbons, Nicolas Wu:
Profunctor Optics: Modular Data Accessors. CoRR abs/1703.10857 (2017) - 2016
- [j31]Jeremy Gibbons:
Kernels, in a nutshell. J. Log. Algebraic Methods Program. 85(5): 921-930 (2016) - [c71]Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Introduction to Bidirectional Transformations. Bidirectional Transformations 2016: 1-28 - [c70]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: 1-31 - [c69]Jeremy Gibbons:
Comprehending Ringads - For Phil Wadler, on the Occasion of his 60th Birthday. A List of Successes That Can Change the World 2016: 132-151 - [c68]Jeremy Gibbons:
Free delivery (functional pearl). Haskell 2016: 45-50 - [c67]Jeremy Gibbons:
APLicative programming with Naperian functors (extended abstract). TyDe@ICFP 2016: 13-14 - [e12]Anthony Anjorin, Jeremy Gibbons:
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, 2016. CEUR Workshop Proceedings 1571, CEUR-WS.org 2016 [contents] - [i2]Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Reflections on Monadic Lenses. CoRR abs/1601.02484 (2016) - 2015
- [c66]Maciej Piróg, Nicolas Wu, Jeremy Gibbons:
Modules Over Monads and Their Algebras. CALCO 2015: 290-303 - [c65]Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Notions of Bidirectional Computation and Entangled State Monads. MPC 2015: 187-214 - [c64]Jim Davies, Jeremy Gibbons, Adam Milward, David Milward, Seyyed Shah, Monika Solanki, James Welch:
Domain specific modelling for clinical research. DSM@SPLASH 2015: 1-8 - [c63]Ralf Hinze, Nicolas Wu, Jeremy Gibbons:
Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. POPL 2015: 527-538 - [c62]Faris Abou-Saleh, James McKinna, Jeremy Gibbons:
Coalgebraic Aspects of Bidirectional Computation. Bx@STAF 2015: 16-30 - [c61]James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Towards a Principle of Least Surprise for Bidirectional Transformations. Bx@STAF 2015: 66-80 - [c60]Maciej Piróg, Jeremy Gibbons:
From Push/Enter to Eval/Apply by Program Transformation. WoC 2015: 53-62 - [i1]Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Notions of bidirectional computation and entangled state monads. CoRR abs/1505.02579 (2015) - 2014
- [j30]Jeremy Gibbons, Pablo Nogueira:
Selected papers from Mathematics of Program Construction 2012. Sci. Comput. Program. 85: 101 (2014) - [j29]Jim Davies, Jeremy Gibbons, James Welch, Edward Crichton:
Model-driven engineering of information systems: 10 years and 1000 versions. Sci. Comput. Program. 89: 88-104 (2014) - [j28]Jim Davies, Jeremy Gibbons, Steve Harris, Charles Crichton:
The CancerGrid experience: Metadata-based model-driven engineering for clinical trials. Sci. Comput. Program. 89: 126-143 (2014) - [j27]Jeremy Gibbons:
SIGPLAN vice-chair's report. ACM SIGPLAN Notices 49(4S): 2 (2014) - [j26]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): 33-38 (2014) - [c59]James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons:
Towards a Repository of Bx Examples. EDBT/ICDT Workshops 2014: 87-91 - [c58]James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh:
Entangled State Monads. EDBT/ICDT Workshops 2014: 108-111 - [c57]Jeremy Gibbons, Nicolas Wu:
Folding domain-specific languages: deep and shallow embeddings (functional Pearl). ICFP 2014: 339-347 - [c56]Maciej Piróg, Jeremy Gibbons:
The Coinductive Resumption Monad. MFPS 2014: 273-288 - [e11]Jeremy Gibbons, Wendy MacCaull:
Foundations of Health Information Engineering and Systems - Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8315, Springer 2014, ISBN 978-3-642-53955-8 [contents] - 2013
- [j25]Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu:
Refactoring pattern matching. Sci. Comput. Program. 78(11): 2216-2242 (2013) - [j24]Jeremy Gibbons:
ACM SIGPLAN vice-chair's report. ACM SIGPLAN Notices 48(4S): 3 (2013) - [c55]Jeremy Gibbons:
Functional Programming for Domain-Specific Languages. CEFP 2013: 1-28 - [c54]Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers:
Understanding idiomatic traversals backwards and forwards. Haskell 2013: 25-36 - [c53]Hsiang-Shang Ko, Jeremy Gibbons:
Relational algebraic ornaments. DTP@ICFP 2013: 37-48 - [c52]Ralf Hinze, Nicolas Wu, Jeremy Gibbons:
Unifying structured recursion schemes. ICFP 2013: 209-220 - [c51]Maciej Piróg, Jeremy Gibbons:
Monads for Behaviour. MFPS 2013: 309-324 - 2012
- [j23]Jeremy Gibbons, Michael Johnson:
Relating Algebraic and Coalgebraic Descriptions of Lenses. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012) - [c50]David A. Clifton, Jeremy Gibbons, Jim Davies, Lionel Tarassenko:
Machine learning and software engineering in health informatics. RAISE@ICSE 2012: 37-41 - [c49]Jim Davies, Jeremy Gibbons, David Milward, James Welch:
Compositionality and Refinement in Model-Driven Engineering. SBMF 2012: 99-114 - [c48]Jeremy Gibbons:
Unifying Theories of Programming with Monads. UTP 2012: 23-67 - [c47]Maciej Piróg, Jeremy Gibbons:
Tracing monadic computations and representing effects. MSFP 2012: 90-111 - [e10]Jeremy Gibbons, Pablo Nogueira:
Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. Lecture Notes in Computer Science 7342, Springer 2012, ISBN 978-3-642-31112-3 [contents] - [e9]Jeremy Gibbons:
Generic and Indexed Programming - International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures. Lecture Notes in Computer Science 7470, Springer 2012, ISBN 978-3-642-32201-3 [contents] - 2011
- [j22]Peter Y. H. Wong, Jeremy Gibbons:
Formalisations and applications of BPMN. Sci. Comput. Program. 76(8): 633-650 (2011) - [j21]Peter Y. H. Wong, Jeremy Gibbons:
Property specifications for workflow modelling. Sci. Comput. Program. 76(10): 942-967 (2011) - [c46]Jim Davies, Jeremy Gibbons, Radu Calinescu, Charles Crichton, Steve Harris, Andrew Tsui:
Form Follows Function - Model-Driven Engineering for Clinical Trials. FHIES 2011: 21-38 - [c45]Jeremy Gibbons, Ralf Hinze:
Just do it: simple monadic equational reasoning. ICFP 2011: 2-14 - [c44]Hsiang-Shang Ko, Jeremy Gibbons:
Modularising inductive families. WGP@ICFP 2011: 13-24 - [c43]Meng Wang, Jeremy Gibbons, Nicolas Wu:
Incremental updates for efficient bidirectional transformations. ICFP 2011: 392-403 - [c42]Jeremy Gibbons:
Maximum Segment Sum, Monadically (distilled tutorial). DSL 2011: 181-194 - 2010
- [j20]Jeremy Gibbons:
Editorial. J. Funct. Program. 20(1): 1 (2010) - [j19]Bruno C. d. S. Oliveira, Jeremy Gibbons:
Scala for generic programmers. J. Funct. Program. 20(3-4): 303-352 (2010) - [c41]Jim Davies, Jeremy Gibbons:
Semantic Frameworks - Meanings in the Architecture. ICDCIT 2010: 40-54 - [c40]Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu:
Gradual Refinement. MPC 2010: 397-425 - [e8]Jeremy Gibbons:
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010. ACM 2010, ISBN 978-1-4503-0252-4 [contents]
2000 – 2009
- 2009
- [j18]Jeremy Gibbons, Bruno C. d. S. Oliveira:
The essence of the Iterator pattern. J. Funct. Program. 19(3-4): 377-402 (2009) - [j17]Jim Davies, Jeremy Gibbons:
Formal methods for future interoperability. ACM SIGCSE Bull. 41(2): 60-64 (2009) - [c39]Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui:
Semantics-Driven Development for Electronic Government Applications. HICSS 2009: 1-10 - [c38]Jeremy Gibbons, Ross Paterson:
Parametric datatype-genericity. WGP@ICFP 2009: 85-93 - [c37]Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Andrew Tsui, James D. Brenton:
Metadata-driven software for clinical trials. SEHC@ICSE 2009: 1-11 - [c36]Peter Y. H. Wong, Jeremy Gibbons:
Property Specifications for Workflow Modelling. IFM 2009: 56-71 - [e7]Jeremy Gibbons, José Nuno Oliveira:
Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Lecture Notes in Computer Science 5846, Springer 2009, ISBN 978-3-642-04911-8 [contents] - 2008
- [c35]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: 73-81 - [c34]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: 406-407 - [c33]Steve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton:
Semantic technologies in electronic government. ICEGOV 2008: 45-51 - [c32]Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons:
Metadata standards for semantic interoperability in electronic government. ICEGOV 2008: 67-75 - [c31]Alejandra Cechich, Lorenzo Madrid, Jeremy Gibbons, Jay P. Kesan:
Interoperability frameworks for electronic governance. ICEGOV 2008: 490-491 - [c30]Peter Y. H. Wong, Jeremy Gibbons:
A Process Semantics for BPMN. ICFEM 2008: 355-374 - [c29]Bruno C. d. S. Oliveira, Jeremy Gibbons:
Scala for generic programmers. ICFP-WGP 2008: 25-36 - [c28]Peter Y. H. Wong, Jeremy Gibbons:
On Specifying and Visualising Long-Running Empirical Studies. ICMT@TOOLS 2008: 76-90 - [c27]Jeremy Gibbons:
Unfolding Abstract Datatypes. MPC 2008: 110-133 - [c26]Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons:
The visitor pattern as a reusable, generic, type-safe component. OOPSLA 2008: 439-456 - [c25]Peter Y. H. Wong, Jeremy Gibbons:
Verifying Business Process Compatibility (Short Paper). QSIC 2008: 126-131 - [c24]Michael Anthony Smith, Jeremy Gibbons:
Unifying Theories of Locations. UTP 2008: 161-180 - [c23]Peter Y. H. Wong, Jeremy Gibbons:
A Relative Timed Semantics for BPMN. FOCLASA@ICALP 2008: 59-75 - 2007
- [j16]Jeremy Gibbons:
Metamorphisms: Streaming representation-changers. Sci. Comput. Program. 65(2): 108-139 (2007) - [c22]Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla:
Semantic frameworks for e-government. ICEGOV 2007: 30-39 - [c21]Michael Anthony Smith, Jeremy Gibbons:
Unifying Theories of Objects. IFM 2007: 599-618 - [c20]Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl:
Model-driven architecture for cancer research. SEFM 2007: 59-68 - [c19]Peter Y. H. Wong, Jeremy Gibbons:
A Process-Algebraic Approach to Workflow Specification and Refinement. SC@ETAPS 2007: 51-65 - [e6]Jim Davies, Jeremy Gibbons:
Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Lecture Notes in Computer Science 4591, Springer 2007, ISBN 978-3-540-73209-9 [contents] - [e5]Roland Carl Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring:
Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures. Lecture Notes in Computer Science 4719, Springer 2007, ISBN 978-3-540-76785-5 [contents] - 2006
- [j15]Jeremy Gibbons, David R. Lester, Richard S. Bird:
Functional Pearl: Enumerating the rationals. J. Funct. Program. 16(3): 281-291 (2006) - [j14]Jeremy Gibbons:
Unbounded Spigot Algorithms for the Digits of Pi. Am. Math. Mon. 113(4): 318-328 (2006) - [c18]Jeremy Gibbons:
Design patterns as higher-order datatype-generic programs. ICFP-WGP 2006: 1-12 - [c17]Jeremy Gibbons:
Fission for Program Comprehension. MPC 2006: 162-179 - [c16]Jeremy Gibbons, Bruno C. d. S. Oliveira:
The Essence of the ITERATOR Pattern. MSFP@MPC 2006 - [c15]Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons:
Fast and loose reasoning is morally correct. POPL 2006: 206-217 - [c14]Jeremy Gibbons:
Datatype-Generic Programming. SSDGP 2006: 1-71 - 2005
- [j13]Jeremy Gibbons, Graham Hutton:
Proof Methods for Corecursive Programs. Fundam. Informaticae 66(4): 353-366 (2005) - [c13]Bruno C. d. S. Oliveira, Jeremy Gibbons:
TypeCase: a design pattern for type-indexed functions. Haskell 2005: 98-109 - 2004
- [j12]Clare E. Martin, Jeremy Gibbons, Ian Bayley:
Disciplined, efficient, generalised folds for nested datatypes. Formal Aspects Comput. 16(1): 19-35 (2004) - [c12]Jeremy Gibbons:
Streaming Representation-Changers. MPC 2004: 142-168 - 2003
- [c11]Andrew Simpson, Andrew P. Martin, Jeremy Gibbons, Jim Davies, Steve McKeever:
On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. ICSE 2003: 628-633 - [e4]Roland Carl Backhouse, Jeremy Gibbons:
Generic Programming - Advanced Lectures. Lecture Notes in Computer Science 2793, Springer 2003, ISBN 3-540-20194-7 [contents] - [e3]Jeremy Gibbons, Johan Jeuring:
Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany. IFIP Conference Proceedings 243, Kluwer 2003, ISBN 1-4020-7374-7 [contents] - 2002
- [c10]Richard S. Bird, Jeremy Gibbons:
Arithmetic Coding with Folds and Unfolds. Advanced Functional Programming 2002: 1-26 - [c9]Jeremy Gibbons:
Towards a Colimit-Based Semantics for Visual Programming. COORDINATION 2002: 166-173 - [e2]Roland Carl Backhouse, Roy L. Crole, Jeremy Gibbons:
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures. Lecture Notes in Computer Science 2297, Springer 2002, ISBN 3-540-43613-8 [contents] - 2001
- [j11]Graham Hutton, Jeremy Gibbons:
The generic approximation lemma. Inf. Process. Lett. 79(4): 197-201 (2001) - [j10]Clare E. Martin, Jeremy Gibbons:
On the semantics of nested datatypes. Inf. Process. Lett. 80(5): 233-238 (2001) - [c8]Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch:
When is a function a fold or an unfold? CMCS 2001: 146-160 - 2000
- [j9]Jeremy Gibbons:
Generic downwards accumulations. Sci. Comput. Program. 37(1-3): 37-65 (2000) - [c7]Jeremy Gibbons:
Calculating Functional Programs. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 149-202 - [c6]Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu:
Algebraic Methods for Optimization Problems. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 281-308 - [c5]Oege de Moor, Jeremy Gibbons:
Invited Talk: Pointwise Relational Programming. AMAST 2000: 371-390
1990 – 1999
- 1999
- [j8]Jeremy Gibbons:
A Pointless Derivation of Radix Sort. J. Funct. Program. 9(3): 339-346 (1999) - [j7]Oege de Moor, Jeremy Gibbons:
Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting. Sci. Comput. Program. 35(1): 3-27 (1999) - 1998
- [j6]Jeremy Gibbons:
Structured Programing in Java. ACM SIGPLAN Notices 33(4): 40-43 (1998) - [c4]Jeremy Gibbons, Geraint Jones:
The Under-Appreciated Unfold. ICFP 1998: 273-279 - [c3]Jeremy Gibbons:
Polytypic Downwards Accumulations. MPC 1998: 207-233 - 1996
- [j5]Jeremy Gibbons:
Deriving Tidy Drawings of Trees. J. Funct. Program. 6(3): 535-562 (1996) - [j4]Jeremy Gibbons:
The Third Homomorphism Theorem. J. Funct. Program. 6(4): 657-665 (1996) - [j3]Jeremy Gibbons:
Computing Downwards Accumulations on Trees Quickly. Theor. Comput. Sci. 169(1): 67-80 (1996) - [e1]Douglas S. Bridges, Cristian S. Calude, Jeremy Gibbons, Steve Reeves, Ian H. Witten:
First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996. Springer-Verlag, Singapore 1996, ISBN 981-3083-14-X [contents] - 1995
- [c2]Jeremy Gibbons:
An Initial-Algebra Approach to Directed Acyclic Graphs. MPC 1995: 282-303 - 1994
- [j2]Jeremy Gibbons, Wentong Cai, David B. Skillicorn:
Efficient Parallel Algorithms for Tree Accumulations. Sci. Comput. Program. 23(1): 1-18 (1994) - 1992
- [c1]Jeremy Gibbons:
Upwards and Downwards Accumulations on Trees. MPC 1992: 122-138
1980 – 1989
- 1989
- [j1]Richard S. Bird, Jeremy Gibbons, Geraint Jones:
Formal Derivation of a Pattern Matching Algorithm. Sci. Comput. Program. 12(2): 93-104 (1989) - 1988
- [b1]Jeremy Gibbons:
A new view of binary trees. University of Oxford, UK, 1988
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
