Jeremy 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
2010 – today
- 2018
- [j39]Guillaume Boisseau, Jeremy Gibbons:
What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl). PACMPL 2(ICFP): 84:1-84:27 (2018) - [j38]Jeremy Gibbons, Fritz Henglein, Ralf Hinze, Nicolas Wu:
Relational algebra by way of adjunctions. PACMPL 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
- [j37]
- [j36]Faris Abou-Saleh, James McKinna, Jeremy Gibbons:
Coalgebraic Aspects of Bidirectional Computation. Journal of Object Technology 16(1): 1:1-29 (2017) - [j35]James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
On principles of Least Change and Least Surprise for bidirectional transformations. Journal of Object Technology 16(1): 3:1-31 (2017) - [j34]Matthew Pickering, Jeremy Gibbons, Nicolas Wu:
Profunctor Optics: Modular Data Accessors. Programming Journal 1(2): 7 (2017) - [c69]
- [c68]
- [i3]Matthew Pickering, Jeremy Gibbons, Nicolas Wu:
Profunctor Optics: Modular Data Accessors. CoRR abs/1703.10857 (2017) - 2016
- [j33]
- [c67]Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Introduction to Bidirectional Transformations. Bidirectional Transformations 2016: 1-28 - [c66]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 - [c65]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 - [c64]
- [c63]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
- [c62]Maciej Piróg, Nicolas Wu, Jeremy Gibbons:
Modules Over Monads and Their Algebras. CALCO 2015: 290-303 - [c61]Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Notions of Bidirectional Computation and Entangled State Monads. MPC 2015: 187-214 - [c60]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 - [c59]Ralf Hinze, Nicolas Wu, Jeremy Gibbons:
Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. POPL 2015: 527-538 - [c58]Faris Abou-Saleh, James McKinna, Jeremy Gibbons:
Coalgebraic Aspects of Bidirectional Computation. Bx@STAF 2015: 16-30 - [c57]James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Towards a Principle of Least Surprise for Bidirectional Transformations. Bx@STAF 2015: 66-80 - [c56]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
- [j32]Maciej Piróg, Jeremy Gibbons:
The Coinductive Resumption Monad. Electr. Notes Theor. Comput. Sci. 308: 273-288 (2014) - [j31]Jeremy Gibbons, Pablo Nogueira:
Selected papers from Mathematics of Program Construction 2012. Sci. Comput. Program. 85: 101 (2014) - [j30]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) - [j29]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) - [c55]James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons:
Towards a Repository of Bx Examples. EDBT/ICDT Workshops 2014: 87-91 - [c54]James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh:
Entangled State Monads. EDBT/ICDT Workshops 2014: 108-111 - [c53]Jeremy Gibbons, Nicolas Wu:
Folding domain-specific languages: deep and shallow embeddings (functional Pearl). ICFP 2014: 339-347 - [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
- [j28]Maciej Piróg, Jeremy Gibbons:
Monads for Behaviour. Electr. Notes Theor. Comput. Sci. 298: 309-324 (2013) - [j27]Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu:
Refactoring pattern matching. Sci. Comput. Program. 78(11): 2216-2242 (2013) - [j26]
- [c52]
- [c51]Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers:
Understanding idiomatic traversals backwards and forwards. Haskell 2013: 25-36 - [c50]
- [c49]
- 2012
- [j25]Jeremy Gibbons, Michael Johnson:
Relating Algebraic and Coalgebraic Descriptions of Lenses. ECEASST 49 (2012) - [c48]David A. Clifton, Jeremy Gibbons, Jim Davies, Lionel Tarassenko:
Machine learning and software engineering in health informatics. RAISE@ICSE 2012: 37-41 - [c47]Jim Davies, Jeremy Gibbons, David Milward, James Welch:
Compositionality and Refinement in Model-Driven Engineering. SBMF 2012: 99-114 - [c46]
- [c45]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
- [j24]Peter Y. H. Wong, Jeremy Gibbons:
Formalisations and applications of BPMN. Sci. Comput. Program. 76(8): 633-650 (2011) - [j23]Peter Y. H. Wong, Jeremy Gibbons:
Property specifications for workflow modelling. Sci. Comput. Program. 76(10): 942-967 (2011) - [c44]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 - [c43]
- [c42]
- [c41]Meng Wang, Jeremy Gibbons, Nicolas Wu:
Incremental updates for efficient bidirectional transformations. ICFP 2011: 392-403 - [c40]
- 2010
- [j22]
- [j21]Bruno C. d. S. Oliveira, Jeremy Gibbons:
Scala for generic programmers. J. Funct. Program. 20(3-4): 303-352 (2010) - [c39]
- [c38]
- [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
- [j20]Peter Y. H. Wong, Jeremy Gibbons:
A Relative Timed Semantics for BPMN. Electr. Notes Theor. Comput. Sci. 229(2): 59-75 (2009) - [j19]Jeremy Gibbons, Bruno C. d. S. Oliveira:
The essence of the Iterator pattern. J. Funct. Program. 19(3-4): 377-402 (2009) - [j18]Jim Davies, Jeremy Gibbons:
Formal methods for future interoperability. SIGCSE Bulletin 41(2): 60-64 (2009) - [c37]Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui:
Semantics-Driven Development for Electronic Government Applications. HICSS 2009: 1-10 - [c36]
- [c35]Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Andrew Tsui, James D. Brenton:
Metadata-driven software for clinical trials. SEHC@ICSE 2009: 1-11 - [c34]
- [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
- [c33]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 - [c32]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 - [c31]Steve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton:
Semantic technologies in electronic government. ICEGOV 2008: 45-51 - [c30]Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons:
Metadata standards for semantic interoperability in electronic government. ICEGOV 2008: 67-75 - [c29]Alejandra Cechich, Lorenzo Madrid, Jeremy Gibbons, Jay P. Kesan:
Interoperability frameworks for electronic governance. ICEGOV 2008: 490-491 - [c28]
- [c27]
- [c26]Peter Y. H. Wong, Jeremy Gibbons:
On Specifying and Visualising Long-Running Empirical Studies. ICMT 2008: 76-90 - [c25]
- [c24]Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons:
The visitor pattern as a reusable, generic, type-safe component. OOPSLA 2008: 439-456 - [c23]Peter Y. H. Wong, Jeremy Gibbons:
Verifying Business Process Compatibility (Short Paper). QSIC 2008: 126-131 - [c22]
- 2007
- [j17]Jeremy Gibbons:
Metamorphisms: Streaming representation-changers. Sci. Comput. Program. 65(2): 108-139 (2007) - [c21]Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla:
Semantic frameworks for e-government. ICEGOV 2007: 30-39 - [c20]
- [c19]Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl:
Model-driven architecture for cancer research. SEFM 2007: 59-68 - [c18]Peter Y. H. Wong, Jeremy Gibbons:
A Process-Algebraic Approach to Workflow Specification and Refinement. Software Composition 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
- [j16]Jeremy Gibbons, David R. Lester, Richard S. Bird:
Functional Pearl: Enumerating the rationals. J. Funct. Program. 16(3): 281-291 (2006) - [j15]Jeremy Gibbons:
Unbounded Spigot Algorithms for the Digits of Pi. The American Mathematical Monthly 113(4): 318-328 (2006) - [c17]
- [c16]
- [c15]
- [c14]Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons:
Fast and loose reasoning is morally correct. POPL 2006: 206-217 - [c13]
- 2005
- [j14]Jeremy Gibbons, Graham Hutton:
Proof Methods for Corecursive Programs. Fundam. Inform. 66(4): 353-366 (2005) - [c12]Bruno C. d. S. Oliveira, Jeremy Gibbons:
TypeCase: a design pattern for type-indexed functions. Haskell 2005: 98-109 - 2004
- [j13]Clare E. Martin, Jeremy Gibbons, Ian Bayley:
Disciplined, efficient, generalised folds for nested datatypes. Formal Asp. Comput. 16(1): 19-35 (2004) - [c11]
- 2003
- [c10]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
- [c9]Richard S. Bird, Jeremy Gibbons:
Arithmetic Coding with Folds and Unfolds. Advanced Functional Programming 2002: 1-26 - [c8]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
- [j12]Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch:
When is a function a fold or an unfold? Electr. Notes Theor. Comput. Sci. 44(1): 146-160 (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) - 2000
- [j9]
- [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]
1990 – 1999
- 1999
- [j8]
- [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]
- [c4]
- [c3]
- 1996
- [j5]
- [j4]
- [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]
- 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]
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