BibTeX | Compact BibTeX | - Bruno C. d. S. Oliveira, Jeremy Gibbons. Scala for generic programmers. ICFP 2008: 25-36 [doi]
- Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos H. Caldas. WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. ccgrid 2008: 73-81 [doi]
- Peter Y. H. Wong, Jeremy Gibbons. On Specifying and Visualising Long-Running Empirical Studies. ICMT 2008: 76-90 [doi]
- Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons. The visitor pattern as a reusable, generic, type-safe component. OOPSLA 2008: 439-456 [doi]
- Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons. Metadata standards for semantic interoperability in electronic government. icegov 2008: 67-75 [doi]
- Peter Y. H. Wong, Jeremy Gibbons. A Process Semantics for BPMN. icfem 2008: 355-374 [doi]
- Steve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton. Semantic technologies in electronic government. icegov 2008: 45-51 [doi]
- Alejandra Cechich, Lorenzo Madrid, Jeremy Gibbons, Jay P. Kesan. Interoperability frameworks for electronic governance. icegov 2008: 490-491 [doi]
- Jeremy Gibbons. Unfolding Abstract Datatypes. mpc 2008: 110-133 [doi]
- Peter Y. H. Wong, Jeremy Gibbons. Verifying Business Process Compatibility (Short Paper). qsic 2008: 126-131 [doi]
- Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl. Model-driven architecture for cancer research. sefm 2007: 59-68 [doi]
- Michael Anthony Smith, Jeremy Gibbons. Unifying Theories of Objects. ifm 2007: 599-618 [doi]
- Peter Y. H. Wong, Jeremy Gibbons. A Process-Algebraic Approach to Workflow Specification and Refinement. SC 2007: 51-65 [doi]
- Jim Davies, Jeremy Gibbons, editors, Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Volume 4591 of Lecture Notes in Computer Science, Springer, 2007.
- Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla. Semantic frameworks for e-government. icegov 2007: 30-39 [doi]
- Jeremy Gibbons. Metamorphisms: Streaming representation-changers. SCP, 65(2):108-139, 2007. [doi]
- Roland Carl Backhouse, Jeremy Gibbons, editors, Generic Programming - Advanced Lectures. Volume 2793 of Lecture Notes in Computer Science, Springer, 2003.
- 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 [doi]
- Jeremy Gibbons, Johan Jeuring, editors, Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany. Volume 243 of IFIP Conference Proceedings, Kluwer, 2003.
- Roland Carl Backhouse, Roy L. Crole, Jeremy Gibbons, editors, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures. Volume 2297 of Lecture Notes in Computer Science, Springer, 2002.
- Richard S. Bird, Jeremy Gibbons. Arithmetic Coding with Folds and Unfolds. afp 2003: 1-26 [doi]
- Jeremy Gibbons. Towards a Colimit-Based Semantics for Visual Programming. coordination 2002: 166-173 [doi]
- Clare E. Martin, Jeremy Gibbons. On the semantics of nested datatypes. ipl, 80(5):233-238, 2001. [doi]
- Graham Hutton, Jeremy Gibbons. The generic approximation lemma. ipl, 79(4):197-201, 2001. [doi]
- Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch. When is a function a fold or an unfold?. ENTCS, 44(1), 2001. [doi]