- Generic and Indexed Programming (Project Paper) Jeremy Gibbons, Meng Wang, and Bruno C. d. S. Oliveira
- Datatype-Generic Programming Jeremy Gibbons
- Dotted and dashed lines in METAFONT Jeremy Gibbons
- To appear in Algebraic Methodology and Software Technology, May 2000. Pointwise Relational Programming
- More on Merging and Selection Jeremy Gibbons
- Fast and Loose Reasoning is Morally Correct Nils Anders Danielsson John Hughes
- Tracing Lazy Functional Languages Jeremy Gibbons and Keith Wansbrough
- Structured programming in Java Jeremy Gibbons
- The design and analysis of computing systems presents a significant challenge: systems need to be understood at many different levels of abstraction, and ex-
- Towards a colimit-based semantics for visual programming
- An initialalgebra approach to directed acyclic graphs
- Bridging the Algorithm Gap: A Lineartime Functional Program
- Design Patterns as Higher-Order Datatype-Generic Programs Jeremy Gibbons
- Metamorphisms: Streaming Representation-Changers
- Cross-Trial Query System for Cancer Clinical Trials Radu Calinescu, Steve Harris, Jeremy Gibbons and Jim Davies
- Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL
- TypeCase: A Design Pattern for Type-Indexed Functions Bruno C. d. S. Oliveira and Jeremy Gibbons
- Streaming representation-changers Jeremy Gibbons
- Under consideration for publication in Formal Aspects of Computing Disciplined, efficient, generalised folds
- Patterns in Datatype-Generic Programming Jeremy Gibbons
- Lecture Notes in Computer Science 2793 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
- The Fun of Programming Jeremy Gibbons and Oege de Moor
- On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects
- Lecture Notes in Computer Science 2297 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
- PROCEEDINGS OF THE IFIP TC2 WORKING CONFERENCE ON
- The UnderAppreciated Unfold Jeremy Gibbons
- J. Functional Programming 1 (1): 1--000, July 1998. Printed in the United Kingdom fl 1998 Cambridge University Press
- J. Functional Programming 1 (1): 1--000, May 1995 c fl 1995 Jeremy Gibbons 1
- A Process Semantics for BPMN Peter Y.H. Wong Jeremy Gibbons
- Parametric Datatype-Genericity Jeremy Gibbons
- Under consideration for publication in J. Functional Programming 1 The Essence of the Iterator Pattern
- Fundamenta Informaticae XX (2005) 114 1 Proof Methods for Corecursive Programs
- Computing downwards accumulations on trees quickly Jeremy Gibbons
- An Introduction to the BirdMeertens Formalism Jeremy Gibbons
- On the Semantics of Nested Datatypes Clare Martin Jeremy Gibbons
- Unbounded Spigot Algorithms for the Digits of Pi Jeremy Gibbons
- Polytypic Downwards Accumulations Jeremy Gibbons
- Generic Downwards Accumulations Jeremy Gibbons
- Unfolding Abstract Datatypes Jeremy Gibbons
- Origami programming Jeremy Gibbons
- Conditionals in distributive categories Jeremy Gibbons
- WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research
- Calculating Functional Programs Jeremy Gibbons
- Arithmetic coding with folds and unfolds Richard Bird and Jeremy Gibbons
- Efficient parallel algorithms for tree accumulations Jeremy Gibbons, Wentong Cai and David B. Skillicorn
- Unifying Theories of Objects Michael Anthony Smith1,2
- The Essence of the Iterator Pattern Jeremy Gibbons and Bruno C. d. S. Oliveira
- Model-driven architecture for cancer research Radu Calinescu, Steve Harris, Jeremy Gibbons and Jim Davies
- Fourth ACM SIGPLAN Workshop on Commercial Users of Functional Programming
- Lecture Notes in Computer Science 4719 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
- Lineartime breadthfirst tree algorithms: An exercise in the arithmetic of folds and zips
- J. Functional Programming 1 (1): 1--000, May 1995 c fl 1995 Jeremy Gibbons 1
- Program optimisation, Richard Bird, Jeremy Gibbons
- How to derive tidy drawings of trees Jeremy Gibbons
- Calculating Functional Programs Jeremy Gibbons
- Fission for Program Comprehension Jeremy Gibbons
- Electronic Notes in Theoretical Computer Science 44 No. 1 (2001) URL: http://www.elsevier.nl/locate/entcs/volume44.html 14 pages
- Formal Methods: Why Should I Care? The development of the T800 transputer floatingpoint unit
- Algebraic Methods for Optimization Problems
- The generic approximation lemma Graham Hutton
- A Process-Algebraic Approach to Workflow Specification and Refinement
