Seguir
Jeremy Gibbons
Jeremy Gibbons
Professor of Computing, University of Oxford
Dirección de correo verificada de cs.ox.ac.uk - Página principal
Título
Citado por
Citado por
Año
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
1672006
Datatype-generic programming
J Gibbons
Datatype-Generic Programming, 1-71, 2007
166*2007
Just do it: Simple monadic equational reasoning
J Gibbons, R Hinze
ACM SIGPLAN Notices 46 (9), 2-14, 2011
1292011
Fast and loose reasoning is morally correct
NA Danielsson, J Hughes, P Jansson, J Gibbons
ACM SIGPLAN Notices 41 (1), 206-217, 2006
1222006
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
1192014
The under-appreciated unfold
J Gibbons, G Jones
Proceedings of the third ACM SIGPLAN international conference on Functional …, 1998
1051998
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
1002011
The essence of the Iterator pattern
J Gibbons, BCS Oliveira
Journal of Functional Programming 19 (3-4), 377-402, 2009
952009
A process-algebraic approach to workflow specification and refinement
PYH Wong, J Gibbons
International Conference on Software Composition, 51-65, 2007
902007
Calculating functional programs
J Gibbons
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction …, 2002
882002
Proof methods for corecursive programs
J Gibbons, G Hutton
Fundamenta Informaticae 66 (4), 353-366, 2005
86*2005
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
83*2014
A relative timed semantics for BPMN
PYH Wong, J Gibbons
Electronic Notes in Theoretical Computer Science 229 (2), 59-75, 2009
732009
Algebras for Tree Algorithms
J Gibbons
Programming Research Group, University of Oxford, 1991
681991
Efficient parallel algorithms for tree accumulations
J Gibbons, W Cai, DB Skillicorn
Science of Computer Programming 23 (1), 1-18, 1994
651994
Profunctor Optics: Modular Data Accessors
M Pickering, J Gibbons, N Wu
arXiv preprint arXiv:1703.10857, 2017
642017
Property specifications for workflow modelling
PYH Wong, J Gibbons
Science of Computer Programming 76 (10), 942-967, 2011
632011
Formal derivation of a pattern matching algorithm
RS Bird, J Gibbons, G Jones
Science of Computer Programming 12 (2), 93-104, 1989
611989
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20