Stop the war!Остановите войну!
for scientists:
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
- 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]