Jeremy Gibbons : Publications
|
[1] |
Formalisations and Applications of BPMN Peter Y.H. Wong and Jeremy Gibbons Science of Computer Programming. September, 2009. Special issue on FOCLASA 2008 |
|
[2] |
Parametric Datatype-Genericity Jeremy Gibbons and Ross Paterson In Workshop on Generic Programming. Edinburgh. August, 2009. Details | BibTeX | Link (pdf) |
|
[3] |
Formal Methods for Future Interoperability Jim Davies and Jeremy Gibbons ACM Inroads. Vol. 41. No. 2. Pages 60-64. June, 2009. A revised version of "Formal Methods for Electronic Government" (FMET, 2008) Details | BibTeX | Link (pdf) |
|
[4] |
Metadata-Driven Software for Clinical Trials Charles Crichton et al. May, 2009. To appear Details | BibTeX | Link (pdf) |
|
[5] |
Property Specifications for Workflow Modelling Peter Y.H. Wong and Jeremy Gibbons In Proceedings of 7th International Conference on Integrated Formal Methods. Vol. 5423 of LNCS. February, 2009. Invited for special issue in Science of Computer Programming. Technical report version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/psp.pdf |
|
[6] |
Model-Driven Support for a Vaccine Study in Kathmandu Jim Davies et al. In Microsoft eScience Workshop. October, 2009. Details | BibTeX | Link (pdf) |
|
[7] |
Semantics-Driven Development for Electronic Government Applications Charles Crichton et al. In HICSS (Electronic Government Track). Hawaii. January, 2009. Details | BibTeX | Link (pdf) |
|
[8] |
Functional Pearls (editorial) Jeremy Gibbons Journal of Functional Programming. 2009. Details | BibTeX | Link (pdf) |
|
[9] |
The Essence of the Iterator Pattern Jeremy Gibbons and Bruno César dos Santos Oliveira Journal of Functional Programming. Vol. 19. No. 3&4. Pages 377-402. 2009. Revised version of Gibbons&Oliveira2006:Essence Details | BibTeX | Link (pdf) | DOI (10.1017/S0956796809007291) |
|
[10] |
Translucent Abstraction: Safe Views through Invertible Programming (Extended version) Meng Wang, Jeremy Gibbons and Kazutaka Matsuda 2009. |
|
[11] |
Teaching Formal Methods
Details | BibTeX | Link (pdf) | DOI (10.1007/978-3-642-04912-5) |
|
[12] |
A Process Semantics for BPMN Peter Wong and Jeremy Gibbons In International Conference on Formal Engineering Methods. Kitakyushu, Japan. September, 2008. Details | BibTeX | Link (pdf) |
|
[13] |
Scala for Generic Programmers Bruno Oliveira and Jeremy Gibbons In Ralf Hinze, editor, Workshop on Generic Programming. Victoria, BC. September, 2008. Details | BibTeX | Link (pdf) |
|
[14] |
Unifying Theories of Locations Michael Anthony Smith and Jeremy Gibbons In Andrew Butterfield, editor, Unifying Theories of Programming. Dublin. September, 2008. Details | BibTeX | Link (pdf) |
|
[15] |
Verifying Business Process Compatibility Peter Y.H. Wong and Jeremy Gibbons In Proceedings of 8th International Conference on Quality Software.. Pages 126-131. IEEE Computer Society. August, 2008. Preliminary versions were presented at 3rd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems and 2nd European Young Researchers Workshop on Service Oriented Computing, June 2007 |
|
[16] |
On Specifying and Visualising Long-Running Empirical Studies. Peter Y.H. Wong and Jeremy Gibbons In Proceedings of 1st International Conference on Model Transformation (Theory and Practice of Model Transformations). Vol. 5063 of LNCS. July, 2008. Extended version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/transext.pdf. Details | BibTeX | Link (pdf) | DOI (10.1007/978-3-540-69927-9_6) |
|
[17] |
A Relative Timed Semantics for BPMN Peter Y.H. Wong and Jeremy Gibbons In Proceedings of 7th International Workshop on the Foundations of Coordination Languages and Software Architectures.. Vol. 229 of ENTCS. July, 2008. Invited for special issue in Science of Computer Programming. A shorter version of this paper was presented at the 3rd European Young Researchers Workshop on Service Oriented Computing, London, United Kingdom, June 2008. Extended version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmntime.pdf. Details | BibTeX | Link (pdf) | DOI (10.1016/j.entcs.2009.06.029) |
|
[18] |
A Relative Timed Semantics for BPMN Peter Wong and Jeremy Gibbons In Foundations of Coordination Languages and Software Architectures (FOCLASA). Zurich. July, 2008. Details | BibTeX | Link (pdf) |
|
[19] |
Unfolding Abstract Datatypes Jeremy Gibbons In Mathematics of Program Construction. July, 2008. Details | BibTeX | Link (pdf) |
|
[20] |
Semantic Technologies in Electronic Government Steve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui and Charles Crichton In Tomasz Janowski and Teresa Pardo, editors, ICEGOV 2008. Pages 45 — 51. Cairo. December, 2008. ACM Press. Details | BibTeX | Link (pdf) |
|
[21] |
Metadata Standards for Semantic Interoperability in Electronic Government Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla and Jeremy Gibbons In International Conference on Theory and Practice of Electronic Governance. Cairo. December, 2008. Received a Best Paper Award Details | BibTeX | Link (pdf) |
|
[22] |
Accelerating Cancer Research Using Semantics-Driven Technology James Brenton, Jim Davies, Jeremy Gibbons and Steve Harris In Microsoft eScience Workshop. Indianapolis, IN. December, 2008. Details | BibTeX | Link (pdf) |
|
[23] |
A Process Semantics for BPMN Peter Y.H. Wong and Jeremy Gibbons In Proceedings of 10th International Conference on Formal Engineering Methods.. Vol. 5256 of LNCS. October, 2008. Extended version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmnsem.pdf. |
|
[24] |
Formal Methods for Electronic Government Jim Davies and Jeremy Gibbons In Workshop on Formal Methods Education and Training at ICFEM. Kitakyushu, Japan. October, 2008. Details | BibTeX | Link (pdf) |
|
[25] |
Evolving Health Informatics: Semantic Frameworks and Metadata-Driven Architectures Jim Davies, Jeremy Gibbons, Steve Harris and Denise Warzel In Microsoft eScience Workshop. Indianapolis, IN. 2008. Details | BibTeX | Link (pdf) |
|
[26] |
Model-Driven Generation of WSRF-Compliant SOA for Collaborative Cancer Research Tianyi Zang et al. In IEEE eScience Conference. 2008. |
|
[27] |
WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research Tianyi Zang et al. In 8th IEEE International Symposium on Cluster Computing (CCGrid). 2008. Details | BibTeX | Link (pdf) |
|
[28] |
Verifying Business Process Compatibility Peter Wong and Jeremy Gibbons In 8th International Conference on Quality Software (QSIC). 2008. Earlier versions of this paper were presented at the 2nd European Young Researchers Workshop on Service Oriented Computing, Leicester, United Kingdom, June 2007, and 3rd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord'07), Paphos, Cyprus, June 2007 Details | BibTeX | Link (pdf) |
|
[29] |
On Specifying and Visualising Long-Running Empirical Studies Peter Y. H. Wong and Jeremy Gibbons In International Conference on Model Transformations (ICMT). 2008. Details | BibTeX | Link (pdf) |
|
[30] |
The Visitor Pattern as a Reusable, Generic, Type-Safe Component Bruno C. d. S. Oliveira, Meng Wang and Jeremy Gibbons In Object-Oriented Programming: Systems, Languages, Applications (OOPSLA). 2008. Details | BibTeX | Link (pdf) |
|
[31] |
Model-Driven Architecture for Cancer Research Radu Calinescu et al. In Software Engineering and Formal Methods. Pages 59-68. September, 2007. |
|
[32] |
A Process-Algebraic Approach to Workflow Specification and Refinement Peter Y. H. Wong and Jeremy Gibbons In Proceedings of 6th International Symposium on Software Composition. Vol. 4829 of LNCS. March, 2007. Details | BibTeX | Link (pdf) | DOI (10.1007/978-3-540-77351-1_5) |
|
[33] |
Semantic Frameworks for e-Government Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris and Aadya Shukla In Theresa Pardo and Tomasz Janowski, editors, First International Conference on Theory and Practice of Electronic Governance (ICEGOV) 2007. Pages 30—39. ACM. December, 2007. Details | BibTeX | Link (pdf) | DOI (10.1145/1328057.1328066) |
|
[34] |
Report on Fourth Workshop on Commercial Users of Functional Programming Jeremy Gibbons December, 2007. Details | BibTeX | Link (pdf) |
|
[35] |
Cross-Trial Query System for Cancer Clinical Trials Tarek Sobh, editor In Tarek Sobh, editor, Innovations and Advanced Techniques in Computer and Information Sciences and Engineering. Pages 385—390. Springer. 2007. |
|
[36] |
Metamorphisms: Streaming Representation-Changers Jeremy Gibbons Science of Computer Programming. Vol. 65. Pages 108-139. 2007. Details | BibTeX | Link (pdf) |
|
[37] |
A Process-Algebraic Approach to Workflow Specification and Refinement Peter Y. H. Wong and Jeremy Gibbons In Software Composition. 2007. Details | BibTeX | Link (pdf) |
|
[38] |
Generic and Indexed Programming Jeremy Gibbons, Meng Wang and Bruno César dos Santos Oliveira In Marco Morazan, editor, Trends in Functional Programming. 2007. Details | BibTeX | Link (pdf) |
|
[39] |
Datatype-Generic Programming Jeremy Gibbons In Roland Backhouse, Jeremy Gibbons, Ralf Hinze and Johan Jeuring, editors, Spring School on Datatype-Generic Programming. Vol. 4719 of Lecture Notes in Computer Science. Springer-Verlag. 2007. Details | BibTeX | Link (pdf) |
|
[40] |
Unifying Theories of Objects Michael Anthony Smith and Jeremy Gibbons In Jim Davies and Jeremy Gibbons, editors, Integrated Formal Methods. Vol. 4591 of Lecture Notes in Computer Science. Pages 599-618. Springer-Verlag. 2007. Details | BibTeX | Link (pdf) |
|
[41] |
Spring School on Datatype-Generic Programming Roland Backhouse, Jeremy Gibbons, Ralf Hinze and Johan Jeuring, editors Roland Backhouse, Jeremy Gibbons, Ralf Hinze and Johan Jeuring, editors Details | BibTeX | Link (pdf) |
|
[42] |
Integrated Formal Methods Jim Davies and Jeremy Gibbons, editors Jim Davies and Jeremy Gibbons, editors Details | BibTeX | Link (pdf) |
|
[43] |
Design Patterns as Higher-Order Datatype-Generic Programs Jeremy Gibbons In Ralf Hinze, editor, Workshop on Generic Programming. September, 2006. Details | BibTeX | Link (pdf) |
|
[44] |
Cross-Trial Query System for Cancer Clinical Trials Radu Calinescu, Steve Harris, Jeremy Gibbons and Jim Davies In International Joint Conferences on Computer, Information and Systems Sciences and Engineering (CISSE). December, 2006. Details | BibTeX | Link (pdf) |
|
[45] |
Fast and Loose Reasoning is Morally Correct Nils Anders Danielsson, Jeremy Gibbons, John Hughes and Patrik Jansson In Principles of Programming Languages. Pages 206-217. January, 2006. Details | BibTeX | Link (pdf) |
|
[46] |
Enumerating the Rationals Jeremy Gibbons, David Lester and Richard Bird Journal of Functional Programming. Vol. 16. No. 4. 2006. Details | BibTeX | Link (pdf) |
|
[47] |
An Unbounded Spigot Algorithm for the Digits of π Jeremy Gibbons American Mathematical Monthly. Vol. 113. No. 4. Pages 318-328. 2006. Details | BibTeX | Link (pdf) |
|
[48] |
Fission for Program Comprehension Jeremy Gibbons In Tarmo Uustalu, editor, Mathematics of Program Construction. Vol. 4014 of Lecture Notes in Computer Science. Pages 162-179. Springer-Verlag. 2006. Details | BibTeX | Link (pdf) |
|
[49] |
The Essence of the Iterator Pattern Jeremy Gibbons and Bruno César dos Santos Oliveira In Conor McBride and Tarmo Uustalu, editors, Mathematically-Structured Functional Programming. 2006. Superseded by Gibbons&Oliveira2008:Essence Details | BibTeX | Link (pdf) |
|
[50] |
Design Patterns as Higher-Order Datatype-Generic Programs Jeremy Gibbons In European Conference on Object-Oriented Programming. Glasgow. July, 2005. Later version appears as Gibbons2005:DesignOOPSLA Details | BibTeX | Link (html) |
|
[51] |
Design Patterns as Higher-Order Datatype-Generic Programs Jeremy Gibbons In Object-Oriented Programming: Systems, Languages, Applications. San Diego. October, 2005. A revision of Gibbons2005:DesignECOOP |
|
[52] |
Proof Methods for Corecursive Programs Jeremy Gibbons and Graham Hutton Fundamenta Informaticae. Vol. 66. No. 4. Pages 353-366. , 2005. Details | BibTeX | Link (pdf) |
|
[53] |
TypeCase: A Design Pattern for Type-Indexed Functions Bruno César dos Santos Oliveira and Jeremy Gibbons In Daan Leijen, editor, Haskell Workshop. Pages 98-109. 2005. Details | BibTeX | Link (pdf) |
|
[54] |
Streaming Representation-Changers Jeremy Gibbons In Dexter Kozen, editor, Mathematics of Program Construction. Vol. 3125 of Lecture Notes in Computer Science. Pages 142-168. July, 2004. http://www.springerlink.com/index/LHQ73WU5GU686976 Details | BibTeX | Link (pdf) |
|
[55] |
Disciplined, efficient, generalised folds for nested datatypes Clare Martin, Jeremy Gibbons and Ian Bayley Formal Aspects of Computing. Vol. 16. No. 1. Pages 19-35. 2004. Details | BibTeX | Link (pdf) |
|
[56] |
Summer School on Generic Programming Roland Backhouse and Jeremy Gibbons, editors Vol. 2793 of Lecture Notes in Computer Science. Springer-Verlag. 2003. Details | BibTeX | Link (pdf) |
|
[57] |
The Fun of Programming Jeremy Gibbons and Oege de Moor, editors Palgrave. 2003. ISBN 1-4039-0772-2 Details | BibTeX | Link (pdf) |
|
[58] |
On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects Andrew Simpson, Andrew Martin, Jeremy Gibbons, Jim Davies and Steve McKeever In International Conference on Software Engineering. Pages 628-633. 2003. Details | BibTeX | Link (pdf) |
|
[59] |
Arithmetic Coding with Folds and Unfolds Richard Bird and Jeremy Gibbons In Johan Jeuring, Peyton Jones and Simon, editors, Advanced Functional Programming 4. Vol. 2638 of Lecture Notes in Computer Science. Pages 1-26. Springer-Verlag. 2003. Code available at http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/arith.zip Details | BibTeX | Link (pdf) |
|
[60] |
Patterns in Datatype-Generic Programming Jeremy Gibbons In Jörg Striegnitz and Kei Davis, editors, Multiparadigm Programming. Vol. 27. Pages 277-289. John von Neumann Institute for Computing (NIC). 2003. First International Workshop on Declarative Programming in the Context of Object-Oriented Languages (DPCOOL) Details | BibTeX | Link (pdf) |
|
[61] |
Generic Programming Jeremy Gibbons and Johan Jeuring, editors Jeremy Gibbons and Johan Jeuring, editors Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloß Dagstuhl, July 2002. ISBN 1-4020-7374-7 Details | BibTeX | Link (pdf) |
|
[62] |
Origami Programming Jeremy Gibbons In Jeremy Gibbons and Oege de Moor, editors, The Fun of Programming. Pages 41-60. Palgrave. 2003. Details | BibTeX | Link (pdf) |
|
[63] |
Towards a Colimit-Based Semantics for Visual Programming Jeremy Gibbons In Coordination Models and Languages. Vol. 2315 of Lecture Notes in Computer Science. Pages 166—173. April, 2002. Details | BibTeX | Link (pdf) |
|
[64] |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction Roland Backhouse, Roy Crole and Jeremy Gibbons, editors Vol. 2297 of Lecture Notes in Computer Science. Springer-Verlag. 2002. Details | BibTeX | Link (pdf) |
|
[65] |
Algebraic Methods for Optimization Problems Richard Bird, Jeremy Gibbons and Shin Cheng Mu In Roland Backhouse, Roy Crole and Jeremy Gibbons, editors, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. Vol. 2297 of Lecture Notes in Computer Science. Pages 281—307. Springer-Verlag. 2002. Details | BibTeX | Link (pdf) |
|
[66] |
Calculating Functional Programs Jeremy Gibbons In Roland Backhouse, Roy Crole and Jeremy Gibbons, editors, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. Vol. 2297 of Lecture Notes in Computer Science. Pages 148—203. Springer-Verlag. 2002. Details | BibTeX | Link (pdf) |
|
[67] |
The Generic Approximation Lemma Graham Hutton and Jeremy Gibbons Information Processing Letters. Vol. 79. No. 4. Pages 197—201. August, 2001. |
|
[68] |
When is a Function a Fold or an Unfold? Jeremy Gibbons, Graham Hutton and Thorsten Altenkirch Electronic Notes in Theoretical Computer Science. Vol. 44. No. 1. April, 2001. Proceedings of Coalgebraic Methods in Computer Science |
|
[69] |
On the Semantics of Nested Datatypes Clare Martin and Jeremy Gibbons Information Processing Letters. Vol. 80. No. 5. Pages 233—238. December, 2001. |
|
[70] |
Pointwise Relational Programming Oege de Moor and Jeremy Gibbons In Algebraic Methodology and Software Technology. Vol. 1816 of Lecture Notes in Computer Science. Pages 371—390. May, 2000. |
|
[71] |
Generic Downwards Accumulations Jeremy Gibbons Science of Computer Programming. Vol. 37. Pages 37—65. 2000. |
|
[72] |
Program Optimisation, Naturally Richard Bird, Jeremy Gibbons and Geraint Jones In J. W. Davies, A. W. Roscoe and J. C. P. Woodcock, editors, Millenial Perspectives in Computer Science. Palgrave. 2000. |
|
[73] |
Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs Jeremy Gibbons March, 1999. Estonian Winter School on Computer Science |
|
[74] |
A Pointless Derivation of Radixsort Jeremy Gibbons Journal of Functional Programming. Vol. 9. No. 3. Pages 339—346. 1999. |
|
[75] |
Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting Oege de Moor and Jeremy Gibbons Science of Computer Programming. Vol. 35. No. 1. 1999. |
|
[76] |
Proof Methods for Structured Corecursive Programs Jeremy Gibbons and Graham Hutton In Proceedings of 1st Scottish Workshop on Functional Programming. 1999. |
|
[77] |
The Under-Appreciated Unfold Jeremy Gibbons and Geraint Jones In International Conference on Functional Programming. Pages 273—279. Baltimore, Maryland. September, 1998. |
|
[78] |
Polytypic Downwards Accumulations Jeremy Gibbons In Johan Jeuring, editor, Proceedings of Mathematics of Program Construction. Vol. 1422 of Lecture Notes in Computer Science. Pages 207-233. Marstrand, Sweden. June, 1998. Springer-Verlag. |
|
[79] |
Structured Programming in Java Jeremy Gibbons SIGPLAN Notices. Vol. 33. No. 4. Pages 40—43. April, 1998. Also in Fintan Culwin, editor, Proceedings of the Second Conference on Java in the Computing Curriculum, South Bank University, London |
|
[80] |
Against the Grain: Linear-Time Breadth-First Tree Algorithms Jeremy Gibbons and Geraint Jones 1998. Oxford Brookes University and Oxford University Computing Laboratory |
|
[81] |
Calculating Functional Programs Jeremy Gibbons In Keiichi Nakata, editor, Proceedings of ISRG/SERG Research Colloquium. School of Computing and Mathematical Sciences, Oxford Brookes University. November, 1997. Technical Report CMS-TR-98-01 |
|
[82] |
More on Merging and Selection Jeremy Gibbons No. CMS-TR-97-08. School of Computing and Mathematical Sciences, Oxford Brookes University. October, 1997. |
|
[83] |
Conditionals in Distributive Categories Jeremy Gibbons No. CMS-TR-97-01. School of Computing and Mathematical Sciences, Oxford Brookes University. January, 1997. |
|
[84] |
Tracing Lazy Functional Languages Jeremy Gibbons and Keith Wansbrough In Michael E. Houle and Peter Eades, editors, Computing: The Australasian Theory Seminar. Pages 11—20. Melbourne. January, 1996. |
|
[85] |
Computing Downwards Accumulations on Trees Quickly Jeremy Gibbons Theoretical Computer Science. Vol. 169. No. 1. Pages 67—80. 1996. Earlier version appeared in Proceedings of the 16th Australian Computer Science Conference, Brisbane, 1993 |
|
[86] |
Deriving Tidy Drawings of Trees Jeremy Gibbons Journal of Functional Programming. Vol. 6. No. 3. Pages 535—562. 1996. |
|
[87] |
The Third Homomorphism Theorem Jeremy Gibbons Journal of Functional Programming. Vol. 6. No. 4. Pages 657—665. 1996. Earlier version appeared in C.B.Jay, editor, Computing: The Australian Theory Seminar, Sydney, December 1994, p.62—69 |
|
[88] |
Combinatorics, Complexity and Logic: Proceedings of Discrete Mathematics and Theoretical Computer Science Douglas Bridges, Cris Calude, Jeremy Gibbons, Steve Reeves and Ian Witten, editors Douglas Bridges, Cris Calude, Jeremy Gibbons, Steve Reeves and Ian Witten, editors |
|
[89] |
An Initial-Algebra Approach to Directed Acyclic Graphs Jeremy Gibbons In Bernhard Möller, editor, Mathematics of Program Construction. Vol. 947 of Lecture Notes in Computer Science. Pages 282—303. Springer-Verlag. 1995. |
|
[90] |
Dotted and Dashed Lines in Metafont Jeremy Gibbons In Robin Fairbairns, editor, Proceedings of the 1995 Annual Meeting. \TeX Users' Group. 1995. |
|
[91] |
An Introduction to the Bird-Meertens Formalism Jeremy Gibbons In Steve Reeves, editor, Proceedings of the First New Zealand Formal Program Development Colloquium. Pages 1—12. Hamilton. November, 1994. |
|
[92] |
Efficient Parallel Algorithms for Tree Accumulations Jeremy Gibbons, Wentong Cai and David Skillicorn Science of Computer Programming. Vol. 23. Pages 1—18. 1994. |
|
[93] |
How to Derive Tidy Drawings of Trees Jeremy Gibbons In C. Calude, M. J. J. Lennon and H. Maurer, editors, Proceedings of Salodays in Auckland. Pages 53—73. Department of Computer Science, University of Auckland. 1994. Also in Proceedings of First New Zealand Formal Program Development Colloquium, p.105—126. |
|
[94] |
Linear-time Breadth-first Tree Algorithms: An Exercise in the Arithmetic of Folds and Zips Geraint Jones and Jeremy Gibbons No. No.71. Dept of Computer Science, University of Auckland. May, 1993. Also IFIP Working Group 2.1 working paper 705 WIN-2 |
|
[95] |
Computing Downwards Accumulations on Trees Quickly Jeremy Gibbons In Gopal Gupta, George Mohay and Rodney Topor, editors, 16th Australian Computer Science Conference. Pages 685—691. Brisbane. February, 1993. |
|
[96] |
Upwards and Downwards Accumulations on Trees Jeremy Gibbons In R. S. Bird, C. C. Morgan and J. C. P. Woodcock, editors, Mathematics of Program Construction. Vol. 669 of Lecture Notes in Computer Science. Pages 122—138. Springer-Verlag. 1993. A revised version appears in the Proceedings of the Massey Functional Programming Workshop, 1992 |
|
[97] |
Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating-Point Unit Jeremy Gibbons In John Hosking, editor, Proceedings of the 13th New Zealand Computer Society Conference. Pages 207—217. 1993. |
|
[98] |
Algebras for Tree Algorithms Jeremy Gibbons PhD Thesis , D.Phil. thesisType. Programming Research Group, Oxford University. 1991. Available as Technical Monograph PRG-94. ISBN 0-902928-72-4 |
|
[99] |
Formal Derivation of a Pattern Matching Algorithm Richard S. Bird, Jeremy Gibbons and Geraint Jones Science of Computer Programming. Vol. 12. No. 2. Pages 93—104. July, 1989. |
|
[100] |
A New View of Binary Trees Jeremy Gibbons Master's Thesis , Transferral dissertationType. Programming Research Group, Oxford University. 1988. Abstract appears in the Bulletin of the EATCS, number 39, p. 214. |