Jeremy Gibbons
Jeremy Gibbons
Professor of Computing, University of Oxford
Bestätigte E-Mail-Adresse bei cs.ox.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A process semantics for BPMN
PYH Wong, J Gibbons
International Conference on Formal Engineering Methods, 355-374, 2008
2012008
Datatype-generic programming
J Gibbons
Datatype-Generic Programming, 1-71, 2007
1012007
Fast and loose reasoning is morally correct
NA Danielsson, J Hughes, P Jansson, J Gibbons
ACM SIGPLAN Notices 41 (1), 206-217, 2006
1012006
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
941996
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
792011
Proof methods for corecursive programs
J Gibbons, G Hutton
Fundamenta Informaticae 66 (4), 353-366, 2005
79*2005
A process-algebraic approach to workflow specification and refinement
PYH Wong, J Gibbons
International Conference on Software Composition, 51-65, 2007
782007
Calculating functional programs
J Gibbons
Algebraic and coalgebraic methods in the mathematics of program construction …, 2002
752002
The essence of the Iterator pattern
J Gibbons, BCS Oliveira
Journal of Functional Programming 19 (3-4), 377-402, 2009
702009
A relative timed semantics for BPMN
PYH Wong, J Gibbons
Electronic Notes in Theoretical Computer Science 229 (2), 59-75, 2009
632009
Algebras for Tree Algorithms
J Gibbons
Programming Research Group, University of Oxford, 1991
591991
Formal derivation of a pattern matching algorithm
RS Bird, J Gibbons, G Jones
Science of Computer Programming 12 (2), 93-104, 1989
581989
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
572014
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
521994
Design patterns as higher-order datatype-generic programs
J Gibbons
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, 1-12, 2006
502006
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
49*2014
Upwards and downwards accumulations on trees
J Gibbons
International Conference on Mathematics of Program Construction, 122-138, 1992
491992
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20