Jeremy Gibbons

Jeremy Gibbons, Michael Johnson: Relating Algebraic and Coalgebraic Descriptions of Lenses. ECEASST 49 (2012)

Jim Davies, Jeremy Gibbons, David Milward, James Welch: Compositionality and Refinement in Model-Driven Engineering. SBMF 2012: 99-114

Jeremy Gibbons: Unifying Theories of Programming with Monads. UTP 2012: 23-67

Maciej Piróg, Jeremy Gibbons: Tracing monadic computations and representing effects. MSFP 2012: 90-111

Jeremy Gibbons, Pablo Nogueira (Eds.): 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

Jeremy Gibbons (Ed.): 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

Peter Y. H. Wong, Jeremy Gibbons: Formalisations and applications of BPMN. Sci. Comput. Program. 76(8): 633-650 (2011)

Peter Y. H. Wong, Jeremy Gibbons: Property specifications for workflow modelling. Sci. Comput. Program. 76(10): 942-967 (2011)

Jeremy Gibbons, Ralf Hinze: Just do it: simple monadic equational reasoning. ICFP 2011: 2-14

Meng Wang, Jeremy Gibbons, Nicolas Wu: Incremental updates for efficient bidirectional transformations. ICFP 2011: 392-403

Jeremy Gibbons: Maximum Segment Sum, Monadically (distilled tutorial). DSL 2011: 181-194

Jeremy Gibbons: Editorial. J. Funct. Program. 20(1): 1 (2010)

Bruno C. d. S. Oliveira, Jeremy Gibbons: Scala for generic programmers. J. Funct. Program. 20(3-4): 303-352 (2010)

Jim Davies, Jeremy Gibbons: Semantic Frameworks - Meanings in the Architecture. ICDCIT 2010: 40-54

Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu: Gradual Refinement. MPC 2010: 397-425

Jeremy Gibbons (Ed.): 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

Peter Y. H. Wong, Jeremy Gibbons: A Relative Timed Semantics for BPMN. Electr. Notes Theor. Comput. Sci. 229(2): 59-75 (2009)

Jeremy Gibbons, Bruno C. d. S. Oliveira: The essence of the Iterator pattern. J. Funct. Program. 19(3-4): 377-402 (2009)

Jim Davies, Jeremy Gibbons: Formal methods for future interoperability. SIGCSE Bulletin 41(2): 60-64 (2009)

Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui: Semantics-Driven Development for Electronic Government Applications. HICSS 2009: 1-10

Peter Y. H. Wong, Jeremy Gibbons: Property Specifications for Workflow Modelling. IFM 2009: 56-71

Jeremy Gibbons, José Nuno Oliveira (Eds.): 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

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

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

Steve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton: Semantic technologies in electronic government. ICEGOV 2008: 45-51

Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons: Metadata standards for semantic interoperability in electronic government. ICEGOV 2008: 67-75

Alejandra Cechich, Lorenzo Madrid, Jeremy Gibbons, Jay P. Kesan: Interoperability frameworks for electronic governance. ICEGOV 2008: 490-491

Peter Y. H. Wong, Jeremy Gibbons: A Process Semantics for BPMN. ICFEM 2008: 355-374

Bruno C. d. S. Oliveira, Jeremy Gibbons: Scala for generic programmers. ICFP-WGP 2008: 25-36

Peter Y. H. Wong, Jeremy Gibbons: On Specifying and Visualising Long-Running Empirical Studies. ICMT 2008: 76-90

Jeremy Gibbons: Unfolding Abstract Datatypes. MPC 2008: 110-133

Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons: The visitor pattern as a reusable, generic, type-safe component. OOPSLA 2008: 439-456

Peter Y. H. Wong, Jeremy Gibbons: Verifying Business Process Compatibility (Short Paper). QSIC 2008: 126-131

Michael Anthony Smith, Jeremy Gibbons: Unifying Theories of Locations. UTP 2008: 161-180

Jeremy Gibbons: Metamorphisms: Streaming representation-changers. Sci. Comput. Program. 65(2): 108-139 (2007)

Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla: Semantic frameworks for e-government. ICEGOV 2007: 30-39

Michael Anthony Smith, Jeremy Gibbons: Unifying Theories of Objects. IFM 2007: 599-618

Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl: Model-driven architecture for cancer research. SEFM 2007: 59-68

Peter Y. H. Wong, Jeremy Gibbons: A Process-Algebraic Approach to Workflow Specification and Refinement. Software Composition 2007: 51-65

Jim Davies, Jeremy Gibbons (Eds.): 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

Roland Carl Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (Eds.): 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

Jeremy Gibbons, David R. Lester, Richard S. Bird: Functional Pearl: Enumerating the rationals. J. Funct. Program. 16(3): 281-291 (2006)

Jeremy Gibbons: Unbounded Spigot Algorithms for the Digits of Pi. The American Mathematical Monthly 113(4): 318-328 (2006)

Jeremy Gibbons: Design patterns as higher-order datatype-generic programs. ICFP-WGP 2006: 1-12

Jeremy Gibbons: Fission for Program Comprehension. MPC 2006: 162-179

Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons: Fast and loose reasoning is morally correct. POPL 2006: 206-217

Jeremy Gibbons: Datatype-Generic Programming. SSDGP 2006: 1-71

Jeremy Gibbons, Graham Hutton: Proof Methods for Corecursive Programs. Fundam. Inform. 66(4): 353-366 (2005)

Bruno C. d. S. Oliveira, Jeremy Gibbons: TypeCase: a design pattern for type-indexed functions. Haskell 2005: 98-109

Clare E. Martin, Jeremy Gibbons, Ian Bayley: Disciplined, efficient, generalised folds for nested datatypes. Formal Asp. Comput. 16(1): 19-35 (2004)

Jeremy Gibbons: Streaming Representation-Changers. MPC 2004: 142-168

Andrew Simpson, Andrew Martin, Jeremy Gibbons, Jim Davies, Steve McKeever: On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. ICSE 2003: 628-633

Roland Carl Backhouse, Jeremy Gibbons (Eds.): Generic Programming - Advanced Lectures. Lecture Notes in Computer Science 2793, Springer 2003, isbn 3-540-20194-7

Jeremy Gibbons, Johan Jeuring (Eds.): 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

Richard S. Bird, Jeremy Gibbons: Arithmetic Coding with Folds and Unfolds. Advanced Functional Programming 2002: 1-26

Jeremy Gibbons: Towards a Colimit-Based Semantics for Visual Programming. COORDINATION 2002: 166-173

Roland Carl Backhouse, Roy L. Crole, Jeremy Gibbons (Eds.): 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

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)

Graham Hutton, Jeremy Gibbons: The generic approximation lemma. Inf. Process. Lett. 79(4): 197-201 (2001)

Clare E. Martin, Jeremy Gibbons: On the semantics of nested datatypes. Inf. Process. Lett. 80(5): 233-238 (2001)

Jeremy Gibbons: Generic downwards accumulations. Sci. Comput. Program. 37(1-3): 37-65 (2000)

Jeremy Gibbons: Calculating Functional Programs. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 149-202

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

Oege de Moor, Jeremy Gibbons: Invited Talk: Pointwise Relational Programming. AMAST 2000: 371-390

Jeremy Gibbons: A Pointless Derivation of Radix Sort. J. Funct. Program. 9(3): 339-346 (1999)

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)

Jeremy Gibbons: Structured Programing in Java. SIGPLAN Notices 33(4): 40-43 (1998)

Jeremy Gibbons, Geraint Jones: The Under-Appreciated Unfold. ICFP 1998: 273-279

Jeremy Gibbons: Polytypic Downwards Accumulations. MPC 1998: 207-233

Jeremy Gibbons: Deriving Tidy Drawings of Trees. J. Funct. Program. 6(3): 535-562 (1996)

Jeremy Gibbons: The Third Homomorphism Theorem. J. Funct. Program. 6(4): 657-665 (1996)

Jeremy Gibbons: Computing Downwards Accumulations on Trees Quickly. Theor. Comput. Sci. 169(1): 67-80 (1996)

Jeremy Gibbons: An Initial-Algebra Approach to Directed Acyclic Graphs. MPC 1995: 282-303

Jeremy Gibbons, Wentong Cai, David B. Skillicorn: Efficient Parallel Algorithms for Tree Accumulations. Sci. Comput. Program. 23(1): 1-18 (1994)

Jeremy Gibbons: Upwards and Downwards Accumulations on Trees. MPC 1992: 122-138

Richard S. Bird, Jeremy Gibbons, Geraint Jones: Formal Derivation of a Pattern Matching Algorithm. Sci. Comput. Program. 12(2): 93-104 (1989)