Follow
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
2442008
Design patterns as higher-order datatype-generic programs
J Gibbons
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, 1-12, 2006
1662006
Datatype-generic programming
J Gibbons
Datatype-Generic Programming, 1-71, 2007
165*2007
Just do it: Simple monadic equational reasoning
J Gibbons, R Hinze
ACM SIGPLAN Notices 46 (9), 2-14, 2011
1312011
Fast and loose reasoning is morally correct
NA Danielsson, J Hughes, P Jansson, J Gibbons
ACM SIGPLAN Notices 41 (1), 206-217, 2006
1272006
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
1262014
The under-appreciated unfold
J Gibbons, G Jones
Proceedings of the third ACM SIGPLAN international conference on Functional …, 1998
1111998
The Third Homomorphism Theorem
J Gibbons
Journal of Functional Programming 6 (04), 657-665, 1996
1031996
Formalisations and applications of BPMN
PYH Wong, J Gibbons
Science of Computer Programming 76 (8), 633-650, 2011
982011
The essence of the Iterator pattern
J Gibbons, BCS Oliveira
Journal of Functional Programming 19 (3-4), 377-402, 2009
952009
Calculating functional programs
J Gibbons
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction …, 2002
932002
A process-algebraic approach to workflow specification and refinement
PYH Wong, J Gibbons
International Conference on Software Composition, 51-65, 2007
902007
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
88*2014
Proof methods for corecursive programs
J Gibbons, G Hutton
Fundamenta Informaticae 66 (4), 353-366, 2005
86*2005
A relative timed semantics for BPMN
PYH Wong, J Gibbons
Electronic Notes in Theoretical Computer Science 229 (2), 59-75, 2009
722009
Profunctor Optics: Modular Data Accessors
M Pickering, J Gibbons, N Wu
arXiv preprint arXiv:1703.10857, 2017
682017
Algebras for Tree Algorithms
J Gibbons
Programming Research Group, University of Oxford, 1991
671991
Property specifications for workflow modelling
PYH Wong, J Gibbons
Science of Computer Programming 76 (10), 942-967, 2011
642011
Efficient parallel algorithms for tree accumulations
J Gibbons, W Cai, DB Skillicorn
Science of Computer Programming 23 (1), 1-18, 1994
641994
The fun of programming
J Gibbons, O de Moor
59*2003
The system can't perform the operation now. Try again later.
Articles 1–20