Jeremy Gibbons

2008
40	EE	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
2007
39		Jim Davies, Jeremy Gibbons: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings Springer 2007
38	EE	Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla: Semantic frameworks for e-government. ICEGOV 2007: 30-39
37	EE	Michael Anthony Smith, Jeremy Gibbons: Unifying Theories of Objects. IFM 2007: 599-618
36	EE	Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl: Model-driven architecture for cancer research. SEFM 2007: 59-68
35	EE	Peter Y. H. Wong, Jeremy Gibbons: A Process-Algebraic Approach to Workflow Specification and Refinement. Software Composition 2007: 51-65
34	EE	Jeremy Gibbons: Metamorphisms: Streaming representation-changers. Sci. Comput. Program. 65(2): 108-139 (2007)
2006
33	EE	Jeremy Gibbons: Design patterns as higher-order datatype-generic programs. ICFP-WGP 2006: 1-12
32	EE	Jeremy Gibbons: Fission for Program Comprehension. MPC 2006: 162-179
31	EE	Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons: Fast and loose reasoning is morally correct. POPL 2006: 206-217
30	EE	Jeremy Gibbons, David Lester, Richard S. Bird: Functional Pearl: Enumerating the rationals. J. Funct. Program. 16(3): 281-291 (2006)
2005
29	EE	Bruno C. D. S. Oliveira, Jeremy Gibbons: TypeCase: a design pattern for type-indexed functions. Haskell 2005: 98-109
28	EE	Jeremy Gibbons, Graham Hutton: Proof Methods for Corecursive Programs. Fundam. Inform. 66(4): 353-366 (2005)
2004
27	EE	Jeremy Gibbons: Streaming Representation-Changers. MPC 2004: 142-168
26	EE	Clare E. Martin, Jeremy Gibbons, Ian Bayley: Disciplined, efficient, generalised folds for nested datatypes. Formal Asp. Comput. 16(1): 19-35 (2004)
2003
25		Jeremy Gibbons, Johan Jeuring: Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany Kluwer 2003
24		Roland Carl Backhouse, Jeremy Gibbons: Generic Programming - Advanced Lectures Springer 2003
23	EE	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
2002
22		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 Springer 2002
21	EE	Richard S. Bird, Jeremy Gibbons: Arithmetic Coding with Folds and Unfolds. Advanced Functional Programming 2002: 1-26
20	EE	Jeremy Gibbons: Towards a Colimit-Based Semantics for Visual Programming. COORDINATION 2002: 166-173
2001
19	EE	Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch: When is a function a fold or an unfold? Electr. Notes Theor. Comput. Sci. 44(1): (2001)
18	EE	Graham Hutton, Jeremy Gibbons: The generic approximation lemma. Inf. Process. Lett. 79(4): 197-201 (2001)
17	EE	Clare E. Martin, Jeremy Gibbons: On the semantics of nested datatypes. Inf. Process. Lett. 80(5): 233-238 (2001)
2000
16	EE	Oege de Moor, Jeremy Gibbons: Invited Talk: Pointwise Relational Programming. AMAST 2000: 371-390
15	EE	Jeremy Gibbons: Calculating Functional Programs. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 149-202
14	EE	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
13		Jeremy Gibbons: Generic downwards accumulations. Sci. Comput. Program. 37(1-3): 37-65 (2000)
1999
12		Jeremy Gibbons: A Pointless Derivation of Radix Sort. J. Funct. Program. 9(3): 339-346 (1999)
11		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
10	EE	Jeremy Gibbons, Geraint Jones: The Under-Appreciated Unfold. ICFP 1998: 273-279
9	EE	Jeremy Gibbons: Polytypic Downwards Accumulations. MPC 1998: 207-233
8		Jeremy Gibbons: Structured Programing in Java. SIGPLAN Notices 33(4): 40-43 (1998)
1996
7		Jeremy Gibbons: Deriving Tidy Drawings of Trees. J. Funct. Program. 6(3): 535-562 (1996)
6		Jeremy Gibbons: The Third Homomorphism Theorem. J. Funct. Program. 6(4): 657-665 (1996)
5	EE	Jeremy Gibbons: Computing Downwards Accumulations on Trees Quickly. Theor. Comput. Sci. 169(1): 67-80 (1996)
1995
4		Jeremy Gibbons: An Initial-Algebra Approach to Directed Acyclic Graphs. MPC 1995: 282-303
1994
3		Jeremy Gibbons, Wentong Cai, David B. Skillicorn: Efficient Parallel Algorithms for Tree Accumulations. Sci. Comput. Program. 23(1): 1-18 (1994)
1992
2		Jeremy Gibbons: Upwards and Downwards Accumulations on Trees. MPC 1992: 122-138
1989
1		Richard S. Bird, Jeremy Gibbons, Geraint Jones: Formal Derivation of a Pattern Matching Algorithm. Sci. Comput. Program. 12(2): 93-104 (1989)

Coauthor Index

1	Thorsten Altenkirch	[19]
2	Roland Carl Backhouse	[22] [24]
3	Ian Bayley	[26]
4	Richard S. Bird	[1] [14] [21] [30]
5	Wentong Cai	[3]
6	Carlos H. Caldas	[40]
7	Radu Calinescu	[36] [40]
8	Charles Crichton	[38]
9	Roy L. Crole	[22]
10	Nils Anders Danielsson	[31]
11	Jim Davies	[23] [36] [38] [39] [40]
12	Steve Harris	[36] [38] [40]
13	John Hughes	[31]
14	Graham Hutton	[18] [19] [28]
15	Patrik Jansson	[31]
16	Johan Jeuring	[25]
17	Geraint Jones	[1] [10]
18	Marta Z. Kwiatkowska	[40]
19	David Lester	[30]
20	Peter Maccallum	[40]
21	Andrew Martin	[23]
22	Clare E. Martin	[17] [26]
23	Steve McKeever	[23]
24	Oege de Moor	[11] [16]
25	Shin-Cheng Mu	[14]
26	Sylvia B. Nagl	[36]
27	Bruno C. D. S. Oliveira	[29]
28	Aadya Shukla	[38]
29	Andrew C. Simpson (Andrew Simpson)	[23]
30	David B. Skillicorn	[3]
31	Michael Anthony Smith	[37]
32	Igor Toujilov	[36]
33	Andrew Tsui	[40]
34	Peter Y. H. Wong	[35]
35	Tianyi Zang	[40]

Colors in the list of coauthors