|
|
Jeremy Gibbons: Publications
by date |
by title |
by type |
bibtex
|
[2]
|
Parametric Datatype-Genericity
Jeremy Gibbons, Ross Paterson
In Workshop on Generic Programming Edinburgh. August 2009.
Details
|
BibTeX
| Link (pdf) |
|
[3]
|
Formal Methods for Future Interoperability
Jim Davies, 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, Jim Davies, Jeremy Gibbons, Steve Harris, Andrew Tsui, James Brenton
May 2009.
To appear.
Details
|
BibTeX
| Link (pdf) |
|
[6]
|
Model-Driven Support for a Vaccine Study in Kathmandu
Jim Davies, Jeremy Gibbons, Steve Harris, Jane Metz, Andrew J. Pollard, Matthew Snape
In Microsoft eScience Workshop October 2009.
Details
|
BibTeX
| Link (pdf) |
|
[7]
|
Semantics-Driven Development for Electronic Government Applications
Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui
In HICSS Workshop on Electronic Government 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, 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, Kazutaka Matsuda
2009.
Details
|
BibTeX
| Download (pdf) |
|
[12]
|
A Process Semantics for BPMN
Peter Wong, Jeremy Gibbons
In International Conference on Formal Engineering Methods Kitakyushu, Japan. September 2008.
Details
|
BibTeX
| Link (pdf) |
|
[13]
|
Scala for Generic Programmers
Bruno Oliveira, 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, 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, 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.
Details
|
BibTeX
| Link (pdf)
|
DOI (10.1109/QSIC.2008.6)
|
|
[17]
|
A Relative Timed Semantics for BPMN
Peter Y.H. Wong, 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, 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 et al.
In Tomasz Janowski, 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, 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, Steve Harris
In Microsoft eScience Workshop Indianapolis, IN. December 2008.
Details
|
BibTeX
| Link (pdf) |
|
[24]
|
Formal Methods for Electronic Government
Jim Davies, 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, 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, Radu Calinescu, Steve Harris, Andrew Tsui, Charles Crichton, Marta Kwiatkowska, Jeremy Gibbons, Jim Davies, Carlos Caldas
In IEEE eScience Conference 2008.
Details
|
BibTeX
|
|
[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, 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, 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) |
|
[33]
|
Semantic Frameworks for e-Government
Charles Crichton et al.
In Theresa Pardo, 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
Radu Calinescu et al.
In Tarek Sobh, editor, Innovations and Advanced Techniques in Computer and Information Sciences and Engineering pages 385—390. Springer. 2007.
Details
|
BibTeX
|
|
[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, 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 et al. , 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, Jeremy Gibbons
In Jim Davies, 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 et al. , editors
Vol. 4719 of Lecture Notes in Computer Science. Springer-Verlag. 2007.
Details
|
BibTeX
| Link (pdf) |
|
[42]
|
Integrated Formal Methods
Jim Davies, Jeremy Gibbons, editors
Vol. 4591 of Lecture Notes in Computer Science. Springer-Verlag. 2007.
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 et al.
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 et al.
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, Bruno César dos Santos Oliveira
In Conor McBride, 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.
Details
|
BibTeX
| Link |
|
[52]
|
Proof Methods for Corecursive Programs
Jeremy Gibbons, 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, Jeremy Gibbons
In Daan Leijen, editor, Haskell Workshop pages 98-109. 2005.
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, 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, 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 et al.
In International Conference on Software Engineering pages 628-633. 2003.
Details
|
BibTeX
| Link (pdf) |
|
[60]
|
Patterns in Datatype-Generic Programming
Jeremy Gibbons
In Jörg Striegnitz, 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, Johan Jeuring, editors
Kluwer Academic Publishers. 2003.
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, 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, Jeremy Gibbons
Information Processing Letters, Vol. 79, No. 4, pages 197—201. August 2001.
Details
|
BibTeX
| Link (ps.gz) |
|
[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.
Details
|
BibTeX
| Link (ps.gz) |
|
[69]
|
On the Semantics of Nested Datatypes
Clare Martin, Jeremy Gibbons
Information Processing Letters, Vol. 80, No. 5, pages 233—238. December 2001.
Details
|
BibTeX
| Link (ps.gz) |
|
[70]
|
Pointwise Relational Programming
Oege de Moor, Jeremy Gibbons
In Algebraic Methodology and Software Technology Vol. 1816 of Lecture Notes in Computer Science, pages 371—390. May 2000.
Details
|
BibTeX
| Link (ps.gz) |
|
[71]
|
Generic Downwards Accumulations
Jeremy Gibbons
Science of Computer Programming, Vol. 37, pages 37—65. 2000.
Details
|
BibTeX
| Link (ps.gz) |
|
[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.
Details
|
BibTeX
| Link (ps.gz) |
|
[73]
|
Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs
Jeremy Gibbons
March 1999.
Estonian Winter School on Computer Science.
Details
|
BibTeX
|
|
[74]
|
A Pointless Derivation of Radixsort
Jeremy Gibbons
Journal of Functional Programming, Vol. 9, No. 3, pages 339—346. 1999.
Details
|
BibTeX
| Link (ps.gz) |
|
[75]
|
Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting
Oege de Moor, Jeremy Gibbons
Science of Computer Programming, Vol. 35, No. 1, 1999.
Details
|
BibTeX
| Link (ps.gz) |
|
[76]
|
Proof Methods for Structured Corecursive Programs
Jeremy Gibbons, Graham Hutton
In Proceedings of 1st Scottish Workshop on Functional Programming 1999.
Details
|
BibTeX
|
|
[77]
|
The Under-Appreciated Unfold
Jeremy Gibbons, Geraint Jones
In International Conference on Functional Programming pages 273—279. Baltimore, Maryland. September 1998.
Details
|
BibTeX
| Link (ps.gz) |
|
[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.
Details
|
BibTeX
| Link (ps.gz) |
|
[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.
Details
|
BibTeX
| Link (ps.gz) |
|
[80]
|
Against the Grain: Linear-Time Breadth-First Tree Algorithms
Jeremy Gibbons, Geraint Jones
1998.
Oxford Brookes University and Oxford University Computing Laboratory.
Details
|
BibTeX
|
|
[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.
Details
|
BibTeX
| Link (ps.gz) |
|
[82]
|
More on Merging and Selection
Jeremy Gibbons
No. CMS-TR-97-08, Technical Report, School of Computing and Mathematical Sciences, Oxford Brookes University. October 1997.
Details
|
BibTeX
| Link (ps.gz) |
|
[83]
|
Conditionals in Distributive Categories
Jeremy Gibbons
No. CMS-TR-97-01, Technical Report, School of Computing and Mathematical Sciences, Oxford Brookes University. January 1997.
Details
|
BibTeX
| Link (ps.gz) |
|
[84]
|
Tracing Lazy Functional Languages
Jeremy Gibbons, Keith Wansbrough
In Michael E. Houle, Peter Eades, editors, Computing: The Australasian Theory Seminar pages 11—20. Melbourne. January 1996.
Details
|
BibTeX
| Link (ps.gz) |
|
[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.
Details
|
BibTeX
| Link (ps.gz) |
|
[86]
|
Deriving Tidy Drawings of Trees
Jeremy Gibbons
Journal of Functional Programming, Vol. 6, No. 3, pages 535—562. 1996.
Details
|
BibTeX
| Link (ps.gz) |
|
[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.
Details
|
BibTeX
| Link (ps.gz) |
|
[88]
|
Combinatorics, Complexity and Logic: Proceedings of Discrete Mathematics and Theoretical Computer Science
Douglas Bridges et al. , editors
Singapore. 1996. Springer-Verlag.
Details
|
BibTeX
|
|
[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.
Details
|
BibTeX
| Link (ps.gz) |
|
[90]
|
Dotted and Dashed Lines in Metafont
Jeremy Gibbons
In Robin Fairbairns, editor, Proceedings of the 1995 Annual Meeting \TeX Users' Group. 1995.
Details
|
BibTeX
| Link (ps.gz) |
|
[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.
Details
|
BibTeX
| Link (ps.gz) |
|
[92]
|
Efficient Parallel Algorithms for Tree Accumulations
Jeremy Gibbons, Wentong Cai and David Skillicorn
Science of Computer Programming, Vol. 23, pages 1—18. 1994.
Details
|
BibTeX
| Link (ps.gz) |
|
[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.
Details
|
BibTeX
| Link (ps.gz) |
|
[94]
|
Linear-time Breadth-first Tree Algorithms: An Exercise in the Arithmetic of Folds and Zips
Geraint Jones, Jeremy Gibbons
No. No.\,71, Technical Report, Dept of Computer Science, University of Auckland. May 1993.
Also IFIP Working Group 2.1 working paper 705 WIN-2.
Details
|
BibTeX
| Link (ps.gz) |
|
[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.
Details
|
BibTeX
|
|
[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.
Details
|
BibTeX
| Link (ps.gz) |
|
[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.
Details
|
BibTeX
| Link (ps.gz) |
|
[98]
|
Algebras for Tree Algorithms
Jeremy Gibbons
PhD Thesis, D. Phil. thesis. Programming Research Group, Oxford University. 1991.
Available as Technical Monograph PRG-94. ISBN 0-902928-72-4.
Details
|
BibTeX
|
|
[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.
Details
|
BibTeX
| Link |
|
[100]
|
A New View of Binary Trees
Jeremy Gibbons
Master's Thesis. , Transferral dissertation. Programming Research Group, Oxford University, 1988.
Abstract appears in the Bulletin of the EATCS, number 39, p. 214.
Details
|
BibTeX
|
|
|
|
|
