Jeremy Gibbons
Title
Cited by
Cited by
Year
A process semantics for BPMN
PYH Wong, J Gibbons
International Conference on Formal Engineering Methods, 355-374, 2008
2022008
Fast and loose reasoning is morally correct
NA Danielsson, J Hughes, P Jansson, J Gibbons
ACM SIGPLAN Notices 41 (1), 206-217, 2006
1052006
Datatype-generic programming
J Gibbons
Datatype-Generic Programming, 1-71, 2007
1012007
The under-appreciated unfold
J Gibbons, G Jones
Proceedings of the third ACM SIGPLAN international conference on Functional …, 1998
991998
The Third Homomorphism Theorem
J Gibbons
Journal of Functional Programming 6 (04), 657-665, 1996
951996
Just do it: Simple monadic equational reasoning
J Gibbons, R Hinze
ACM SIGPLAN Notices 46 (9), 2-14, 2011
872011
Formalisations and applications of BPMN
PYH Wong, J Gibbons
Science of Computer Programming 76 (8), 633-650, 2011
812011
Proof methods for corecursive programs
J Gibbons, G Hutton
Fundamenta Informaticae 66 (4), 353-366, 2005
80*2005
A process-algebraic approach to workflow specification and refinement
PYH Wong, J Gibbons
International Conference on Software Composition, 51-65, 2007
792007
Calculating functional programs
J Gibbons
Algebraic and coalgebraic methods in the mathematics of program construction …, 2002
782002
The essence of the Iterator pattern
J Gibbons, BCS Oliveira
Journal of Functional Programming 19 (3-4), 377-402, 2009
722009
A relative timed semantics for BPMN
PYH Wong, J Gibbons
Electronic Notes in Theoretical Computer Science 229 (2), 59-75, 2009
632009
Folding domain-specific languages: deep and shallow embeddings (functional Pearl)
J Gibbons, N Wu
Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014
602014
Algebras for Tree Algorithms
J Gibbons
Programming Research Group, University of Oxford, 1991
601991
Formal derivation of a pattern matching algorithm
RS Bird, J Gibbons, G Jones
Science of Computer Programming 12 (2), 93-104, 1989
581989
The fun of programming
J Gibbons, O de Moor
55*2003
Efficient parallel algorithms for tree accumulations
J Gibbons, W Cai, DB Skillicorn
Science of Computer Programming 23 (1), 1-18, 1994
531994
Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers
J Gibbons, W MacCaull
Springer, 2014
51*2014
Design patterns as higher-order datatype-generic programs
J Gibbons
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, 1-12, 2006
502006
Upwards and downwards accumulations on trees
J Gibbons
International Conference on Mathematics of Program Construction, 122-138, 1992
491992
The system can't perform the operation now. Try again later.
Articles 1–20