Jeremy Gibbons : Publications

Turner‚ Bird‚ Eratosthenes: The Eternal Burning Thread

Jeremy Gibbons

In Journal of Functional Programming. August, 2024.

under submission

Details about Turner‚ Bird‚ Eratosthenes: The Eternal Burning Thread | BibTeX data for Turner‚ Bird‚ Eratosthenes: The Eternal Burning Thread | Download (pdf) of Turner‚ Bird‚ Eratosthenes: The Eternal Burning Thread

Binomial Tabulation: A Short Story

Hsiang−Shang Ko‚ Shin−Cheng Mu and Jeremy Gibbons

February, 2024.

Details about Binomial Tabulation: A Short Story | BibTeX data for Binomial Tabulation: A Short Story | Download (pdf) of Binomial Tabulation: A Short Story

Profunctor Optics‚ a Categorical Update

Bryce Clarke‚ Derek Elkins‚ Jeremy Gibbons‚ Fosco Loregian‚ Bartosz Milewski‚ Emily Pillmore and Mario Román

No. 1. 2024.

Details about Profunctor Optics‚ a Categorical Update | BibTeX data for Profunctor Optics‚ a Categorical Update | DOI (10.32408/compositionality-6-1) | Link to Profunctor Optics‚ a Categorical Update

Phases in Software Architecture (architectural pearl)

Jeremy Gibbons‚ Oisin Kidney‚ Tom Schrijvers and Nicolas Wu

In Functional Software Architecture. September, 2023.

Details about Phases in Software Architecture (architectural pearl) | BibTeX data for Phases in Software Architecture (architectural pearl) | Download (pdf) of Phases in Software Architecture (architectural pearl)

Effect Handlers and General Purpose Languages

Jonathan Brachthäuser‚ Youyou Cong and Jeremy Gibbons

No. 203. September, 2023.

Details about Effect Handlers and General Purpose Languages | BibTeX data for Effect Handlers and General Purpose Languages | Download (pdf) of Effect Handlers and General Purpose Languages

CancerGrid: Metadata−Based Model−Driven Engineering for Clinical Trials

Jeremy Gibbons

January, 2022.

Details about CancerGrid: Metadata−Based Model−Driven Engineering for Clinical Trials | BibTeX data for CancerGrid: Metadata−Based Model−Driven Engineering for Clinical Trials | Download (pdf) of CancerGrid: Metadata−Based Model−Driven Engineering for Clinical Trials

Breadth−First Traversal Via Staging

Jeremy Gibbons‚ Oisin Kidney‚ Tom Schrijvers and Nicolas Wu

Vol. 13544 of LNCS. Pages 1−33. 2022.

Details about Breadth−First Traversal Via Staging | BibTeX data for Breadth−First Traversal Via Staging | DOI (10.1007/978-3-031-16912-0_1) | Download (pdf) of Breadth−First Traversal Via Staging

Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity

Jeremy Gibbons

In The Art‚ Science‚ and Engineering of Programming. Vol. 6. No. 2. Pages Article 7. 2022.

Recipient of the Reviewers' Choice Award for 2022

Details about Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity | BibTeX data for Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity | DOI (10.22152/programming-journal.org/2022/6/7) | Download (pdf) of Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity

Algorithm Design with the Selection Monad

Johannes Hartmann and Jeremy Gibbons

In Wouter Swierstra and Nicolas Wu, editors, Trends in Functional Programming. Vol. 13401 of LNCS. Pages 126−143. 2022.

Details about Algorithm Design with the Selection Monad | BibTeX data for Algorithm Design with the Selection Monad | DOI (10.1007/978-3-031-21314-4_7) | Download (pdf) of Algorithm Design with the Selection Monad

Journal of Functional Programming moving to Open Access

Shriram Krishnamurthi and Jeremy Gibbons

November, 2021.

Details about Journal of Functional Programming moving to Open Access | BibTeX data for Journal of Functional Programming moving to Open Access | DOI (10.1017/S0956796821000265) | Link to Journal of Functional Programming moving to Open Access

All Things Flow: Unfolding the History of Streams (extended abstract)

Aggelos Biboudis‚ Jeremy Gibbons and Oleg Kiselyov

2021.

Details about All Things Flow: Unfolding the History of Streams (extended abstract) | BibTeX data for All Things Flow: Unfolding the History of Streams (extended abstract) | Download (pdf) of All Things Flow: Unfolding the History of Streams (extended abstract)

How to Design Co−Programs

Jeremy Gibbons

In Journal of Functional Programming. Vol. 31. No. e15. 2021.

Details about How to Design Co−Programs | BibTeX data for How to Design Co−Programs | DOI (10.1017/S0956796821000113) | Download (pdf) of How to Design Co−Programs

Algorithmics

Nicolas Wu Richard S. Bird Jeremy Gibbons Ralf Hinze Peter Hoefner Johan Jeuring Lambert G. L. T. Meertens Bernhard Moeller Carroll Morgan Tom Schrijvers Wouter Swierstra

In Kai Rannenberg Michael Goedicke Erich J. Neuhold, editor, Advancing Research in Information and Communication Technology − IFIP's Exciting First 60+ Years‚ Views from the Technical Committees and Working Groups. Vol. 600 of IFIP Advances in Information and Communication Technology. Pages 59−98. Springer. 2021.

Details about Algorithmics | BibTeX data for Algorithmics | DOI (10.1007/978-3-030-81701-5_3)

Algorithm Design with Haskell

Richard Bird and Jeremy Gibbons

Cambridge University Press. July, 2020.

Details about Algorithm Design with Haskell | BibTeX data for Algorithm Design with Haskell | Link to Algorithm Design with Haskell

Algorithmics

Richard Bird‚ Jeremy Gibbons‚ Ralf Hinze‚ Peter Hoefner‚ Johan Jeuring‚ Lambert Meertens‚ Bernhard Moeller‚ Carroll Morgan‚ Tom Schrijvers‚ Wouter Swierstra and Nicolas Wu

Vol. 600 of IFIP Advances in Information and Communication Technology. July, 2020.

Details about Algorithmics | BibTeX data for Algorithmics | DOI (10.1007/978-3-030-81701-5_3) | Download (pdf) of Algorithmics

Functional Algorithm Design

Jeremy Gibbons

November, 2020.

Details about Functional Algorithm Design | BibTeX data for Functional Algorithm Design | Link to Functional Algorithm Design

Quantitative Information Flow with Monads in Haskell

Jeremy Gibbons‚ Annabelle McIver‚ Carroll Morgan and Tom Schrijvers

In Gilles Barthe‚ Joost−Pieter Katoen and Alexandra Silva, editors, Foundations of Probabilistic Programming. Cambridge University Press. 2020.

Details about Quantitative Information Flow with Monads in Haskell | BibTeX data for Quantitative Information Flow with Monads in Haskell | DOI (10.1017/9781108770750) | Download (pdf) of Quantitative Information Flow with Monads in Haskell

The School of Squiggol: A History of the Bird−Meertens Formalism

Jeremy Gibbons

In Troy Astarte, editor, Formal Methods (Workshop on History of Formal Methods). Vol. 12233 of LNCS. Springer. 2020.

Details about The School of Squiggol: A History of the Bird−Meertens Formalism | BibTeX data for The School of Squiggol: A History of the Bird−Meertens Formalism | DOI (10.1007/978-3-030-54997-8_2) | Download (pdf) of The School of Squiggol: A History of the Bird−Meertens Formalism

Cost semantics for heterogeneous parallel functional languages

Tim Zakian

PhD Thesis , type= DPhil thesis. 2020.

Details about Cost semantics for heterogeneous parallel functional languages | BibTeX data for Cost semantics for heterogeneous parallel functional languages | Link to Cost semantics for heterogeneous parallel functional languages

S Stands for Shock: The European funders’ proposal for Open Access

Jeremy Gibbons

July, 2019.

Details about S Stands for Shock: The European funders’ proposal for Open Access | BibTeX data for S Stands for Shock: The European funders’ proposal for Open Access | Link to S Stands for Shock: The European funders’ proposal for Open Access

Coding with Asymmetric Numeral Systems

Jeremy Gibbons

In Mathematics of Program Construction. Vol. 11825 of Lecture Notes in Computer Science. Pages 444−465. Springer. October, 2019.

Details about Coding with Asymmetric Numeral Systems | BibTeX data for Coding with Asymmetric Numeral Systems | DOI (10.1007/978-3-030-33636-3_16) | Download (pdf) of Coding with Asymmetric Numeral Systems

How to Design Co−Programs

Jeremy Gibbons

October, 2019.

Details about How to Design Co−Programs | BibTeX data for How to Design Co−Programs | Link to How to Design Co−Programs

Relational Algebra by Way of Adjunctions

Jeremy Gibbons‚ Fritz Henglein‚ Ralf Hinze and Nicolas Wu

In PACMPL. Vol. 2. No. ICFP. September, 2018.

Winner of a Distinguished Paper Award

Details about Relational Algebra by Way of Adjunctions | BibTeX data for Relational Algebra by Way of Adjunctions | DOI (10.1145/3236781) | Download (pdf) of Relational Algebra by Way of Adjunctions

What You Needa Know About Yoneda: Profunctor Optics and the Yoneda Lemma

Guillaume Boisseau and Jeremy Gibbons

In PACMPL. Vol. 2. No. ICFP. September, 2018.

Functional Pearl

Details about What You Needa Know About Yoneda: Profunctor Optics and the Yoneda Lemma | BibTeX data for What You Needa Know About Yoneda: Profunctor Optics and the Yoneda Lemma | DOI (10.1145/3236779) | Download (pdf) of What You Needa Know About Yoneda: Profunctor Optics and the Yoneda Lemma

On "Methodological Irregularities in Programming Language Research"

Jeremy Gibbons

In IEEE Computer. Vol. 51. No. 4. Pages 4−7. April, 2018.

Details about On "Methodological Irregularities in Programming Language Research" | BibTeX data for On "Methodological Irregularities in Programming Language Research" | DOI (10.1109/MC.2018.2141027) | Download (pdf) of On "Methodological Irregularities in Programming Language Research"

Engineering Agile Big−Data Systems

Kevin Feeney‚ Jim Davies‚ James Welch‚ Sebastian Hellmann‚ Christian Dirschl‚ Andreas Koller‚ Pieter Francois and Arkadiusz Marciniak

2018.

Details about Engineering Agile Big−Data Systems | BibTeX data for Engineering Agile Big−Data Systems | Link to Engineering Agile Big−Data Systems

Bidirectional Transformations

Jeremy Gibbons and Perdita Stevens

Vol. 9715 of LNCS. Springer. 2018.

Details about Bidirectional Transformations | BibTeX data for Bidirectional Transformations | DOI (10.1007/978-3-319-79108-1) | Link to Bidirectional Transformations

Introduction to Bidirectional Transformations

Faris Abou−Saleh‚ James Cheney‚ Jeremy Gibbons‚ James McKinna and Perdita Stevens

Vol. 9715 of LNCS. Pages 1−28. 2018.

Details about Introduction to Bidirectional Transformations | BibTeX data for Introduction to Bidirectional Transformations | DOI (10.1007/978-3-319-79108-1_1) | Download (pdf) of Introduction to Bidirectional Transformations

On Ontologology

Perdita Stevens and Jeremy Gibbons

Pages Paper 9. April, 2017.

Details about On Ontologology | BibTeX data for On Ontologology | Download (pdf) of On Ontologology

APLicative Programming with Naperian Functors

Jeremy Gibbons

In Hongseok Yang, editor, European Symposium on Programming. Vol. 10201 of LNCS. Pages 568−583. April, 2017.

Details about APLicative Programming with Naperian Functors | BibTeX data for APLicative Programming with Naperian Functors | DOI (10.1007/978-3-662-54434-1_21) | Download (pdf) of APLicative Programming with Naperian Functors

Software Project Management for Combined Software and Data Engineering

Seyyed M. Shah‚ James Welch‚ Jim Davies and Jeremy Gibbons

In Zaigham Mahmood, editor, Software Project Management for Distributed Computing: Life−Cycle Methods for Developing Scalable and Reliable Tools. Pages 367−385. Springer International Publishing. 2017.

Details about Software Project Management for Combined Software and Data Engineering | BibTeX data for Software Project Management for Combined Software and Data Engineering | DOI (10.1007/978-3-319-54325-3_15) | Download (pdf) of Software Project Management for Combined Software and Data Engineering

Profunctor Optics: Modular Data Accessors

Matthew Pickering‚ Jeremy Gibbons and Nicolas Wu

In The Art‚ Science‚ and Engineering of Programming. Vol. 1. No. 2. 2017.

Winner of Editors' Choice Award for 2017

Details about Profunctor Optics: Modular Data Accessors | BibTeX data for Profunctor Optics: Modular Data Accessors | DOI (10.22152/programming-journal.org/2017/1/7) | Download (pdf) of Profunctor Optics: Modular Data Accessors

Coalgebraic Aspects of Bidirectional Computation

Faris Abou−Saleh‚ James McKinna and Jeremy Gibbons

In Journal of Object Technology. Vol. 16. No. 1. Pages 1:1−29. 2017.

Details about Coalgebraic Aspects of Bidirectional Computation | BibTeX data for Coalgebraic Aspects of Bidirectional Computation | DOI (10.5381/jot.2017.16.1.a1) | Download (pdf) of Coalgebraic Aspects of Bidirectional Computation

On Principles of Least Change and Least Surprise for Bidirectional Transformations

James Cheney‚ Jeremy Gibbons‚ James McKinna and Perdita Stevens

In Journal of Object Technology. Vol. 16. No. 1. Pages 3:1−31. 2017.

Details about On Principles of Least Change and Least Surprise for Bidirectional Transformations | BibTeX data for On Principles of Least Change and Least Surprise for Bidirectional Transformations | DOI (10.5381/jot.2017.16.1.a3) | Download (pdf) of On Principles of Least Change and Least Surprise for Bidirectional Transformations

Distributive Interaction of Algebraic Effects

Kwok−Ho Cheung

PhD Thesis 2017.

Details about Distributive Interaction of Algebraic Effects | BibTeX data for Distributive Interaction of Algebraic Effects | Link to Distributive Interaction of Algebraic Effects

Free Delivery (functional pearl)

Jeremy Gibbons

In Haskell Symposium. Pages 45−50. ACM. September, 2016.

Details about Free Delivery (functional pearl) | BibTeX data for Free Delivery (functional pearl) | DOI (10.1145/2976002.2976005) | Download (pdf) of Free Delivery (functional pearl)

APLicative Programming with Naperian Functors (extended abstract)

Jeremy Gibbons

In TyDe. September, 2016.

Details about APLicative Programming with Naperian Functors (extended abstract) | BibTeX data for APLicative Programming with Naperian Functors (extended abstract) | Download (pdf) of APLicative Programming with Naperian Functors (extended abstract)

Kernels‚ in a Nutshell

Jeremy Gibbons

In Journal of Logical and Algebraic Methods in Programming. Vol. 85. No. 5‚ part 2. Pages 921−930. August, 2016.

Details about Kernels‚ in a Nutshell | BibTeX data for Kernels‚ in a Nutshell | DOI (10.1016/j.jlamp.2015.10.006) | Link to Kernels‚ in a Nutshell

ATI Symposium on Reproducibility for Data−Intensive Research

Richard O’Beirne Lucie C. Burgess David Crotty David de Roure Jeremy Gibbons Carole Goble Paolo Missier Richard Mortier Thomas E. Nichols

July, 2016.

Details about ATI Symposium on Reproducibility for Data−Intensive Research | BibTeX data for ATI Symposium on Reproducibility for Data−Intensive Research | Download (pdf) of ATI Symposium on Reproducibility for Data−Intensive Research

From Push/Enter to Eval/Apply by Program Transformation

Maciej Piróg and Jeremy Gibbons

In Olivier Danvy and Ugo de'Liguoro, editors, Proceedings of the Workshop on Continuations. Vol. 212 of Electronic Proceedings in Theoretical Computer Science. Pages 53−62. June, 2016.

Details about From Push/Enter to Eval/Apply by Program Transformation | BibTeX data for From Push/Enter to Eval/Apply by Program Transformation | DOI (10.4204/EPTCS.212.4) | Download (pdf) of From Push/Enter to Eval/Apply by Program Transformation

Reflections on Monadic Lenses

Faris Abou−Saleh‚ James Cheney‚ Jeremy Gibbons‚ James McKinna and Perdita Stevens

In A List of Successes That Can Change the World. Vol. 9600 of LNCS. Pages 1−31. Springer. April, 2016.

Details about Reflections on Monadic Lenses | BibTeX data for Reflections on Monadic Lenses | DOI (10.1007/978-3-319-30936-1_1) | Download (pdf) of Reflections on Monadic Lenses

Comprehending Ringads: For Phil Wadler‚ on the Occasion of his 60th Birthday

Jeremy Gibbons

In A List of Successes That Can Change the World. Vol. 9600 of LNCS. Pages 132−151. Springer. April, 2016.

Details about Comprehending Ringads: For Phil Wadler‚ on the Occasion of his 60th Birthday | BibTeX data for Comprehending Ringads: For Phil Wadler‚ on the Occasion of his 60th Birthday | DOI (10.1007/978-3-319-30936-1_7) | Download (pdf) of Comprehending Ringads: For Phil Wadler‚ on the Occasion of his 60th Birthday

Science relies on computer modelling – so what happens when it goes wrong?

Jeremy Gibbons

In The Conversation. March, 2016.

Details about Science relies on computer modelling – so what happens when it goes wrong? | BibTeX data for Science relies on computer modelling – so what happens when it goes wrong? | Link to Science relies on computer modelling – so what happens when it goes wrong?

Programming with Ornaments

Hsiang−Shang Ko and Jeremy Gibbons

In Journal of Functional Programming. Vol. 27. December, 2016.

Details about Programming with Ornaments | BibTeX data for Programming with Ornaments | DOI (10.1017/S0956796816000307) | Download (pdf) of Programming with Ornaments

Reasoning about Probability and Nondeterminism

Faris Abou−Saleh‚ Kwok−Ho Cheung and Jeremy Gibbons

In POPL workshop on Probabilistic Programming Semantics. January, 2016.

Details about Reasoning about Probability and Nondeterminism | BibTeX data for Reasoning about Probability and Nondeterminism | Link to Reasoning about Probability and Nondeterminism

5th International Workshop on Bidirectional Transformations

Anthony Anjorin and Jeremy Gibbons, editors

Details about 5th International Workshop on Bidirectional Transformations | BibTeX data for 5th International Workshop on Bidirectional Transformations | Link to 5th International Workshop on Bidirectional Transformations

Towards a Principle of Least Surprise for Bidirectional Transformations

James Cheney‚ Jeremy Gibbons‚ James McKinna and Perdita Stevens

In Alcino Cunha and Ekkart Kindler, editors, 4th International Workshop on Bidirectional Transformations. Pages 66−80. CEUR Workshop Proceedings. July, 2015.

Details about Towards a Principle of Least Surprise for Bidirectional Transformations | BibTeX data for Towards a Principle of Least Surprise for Bidirectional Transformations | Download (pdf) of Towards a Principle of Least Surprise for Bidirectional Transformations

Coalgebraic Aspects of Bidirectional Computation

Faris Abou−Saleh‚ James McKinna and Jeremy Gibbons

In Alcino Cunha and Ekkart Kindler, editors, 4th International Workshop on Bidirectional Transformations. Pages 16−30. CEUR Workshop Proceedings. July, 2015.

Details about Coalgebraic Aspects of Bidirectional Computation | BibTeX data for Coalgebraic Aspects of Bidirectional Computation | Download (pdf) of Coalgebraic Aspects of Bidirectional Computation

Modules over Monads‚ and Their Algebras

Maciej Piróg‚ Nicolas Wu and Jeremy Gibbons

In Larry Moss and Paweł Sobociński, editors, 6th International Conference on Algebra and Coalgebra in Computer Science (CALCO’15). Pages 287−300. June, 2015.

Details about Modules over Monads‚ and Their Algebras | BibTeX data for Modules over Monads‚ and Their Algebras | DOI (10.4230/LIPIcs.CALCO.2015.290) | Download (pdf) of Modules over Monads‚ and Their Algebras

Notions of Bidirectional Computation and Entangled State Monads

Faris Abou−Saleh‚ James Cheney‚ Jeremy Gibbons‚ James McKinna and Perdita Stevens

In Mathematics of Program Construction. June, 2015.

Details about Notions of Bidirectional Computation and Entangled State Monads | BibTeX data for Notions of Bidirectional Computation and Entangled State Monads | Download (pdf) of Notions of Bidirectional Computation and Entangled State Monads

Bidirectional Transformation is Effectful

Faris Abou−Saleh‚ James Cheney‚ Jeremy Gibbons‚ James McKinna and Perdita Stevens

May, 2015.

This is an abstract of the paper "Notions of Bidirectional Computation and Entangled State Monads"‚ to appear at MPC 2015

Details about Bidirectional Transformation is Effectful | BibTeX data for Bidirectional Transformation is Effectful | Download (pdf) of Bidirectional Transformation is Effectful

Domain−Specific Modelling for Clinical Research

Jim Davies‚ Jeremy Gibbons‚ Adam Milward‚ David Milward‚ Seyyed Shah‚ Monika Solanki and James Welch

In SPLASH Workshop on Domain−Specific Modelling. October, 2015.

Details about Domain−Specific Modelling for Clinical Research | BibTeX data for Domain−Specific Modelling for Clinical Research | DOI (10.1145/2846696.2846701) | Download (pdf) of Domain−Specific Modelling for Clinical Research

Relational Algebra by Way of Adjunctions

Jeremy Gibbons‚ Fritz Henglein‚ Ralf Hinze and Nicolas Wu

In Database Programming Languages. October, 2015.

Talk only

Details about Relational Algebra by Way of Adjunctions | BibTeX data for Relational Algebra by Way of Adjunctions | Download (pdf) of Relational Algebra by Way of Adjunctions

Conjugate Hylomorphisms‚ Or: The Mother of All Structured Recursion Schemes

Ralf Hinze‚ Nicolas Wu and Jeremy Gibbons

In POPL 2015. Pages 527−538. January, 2015.

Details about Conjugate Hylomorphisms‚ Or: The Mother of All Structured Recursion Schemes | BibTeX data for Conjugate Hylomorphisms‚ Or: The Mother of All Structured Recursion Schemes | DOI (10.1145/2676726.2676989) | Download (pdf) of Conjugate Hylomorphisms‚ Or: The Mother of All Structured Recursion Schemes

Model−driven Engineering of Information Systems: 10 years and 1000 versions

Jim Davies‚ Jeremy Gibbons‚ James Welch and Edward Crichton

In Science of Computer Programming. Vol. 89B. Pages 88−104. September, 2014.

Details about Model−driven Engineering of Information Systems: 10 years and 1000 versions | BibTeX data for Model−driven Engineering of Information Systems: 10 years and 1000 versions | DOI (10.1016/j.scico.2013.02.002)

The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials

Jim Davies‚ Jeremy Gibbons‚ Steve Harris and Charles Crichton

In Science of Computer Programming. Vol. 89B. Pages 126−143. September, 2014.

Details about The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials | BibTeX data for The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials | DOI (10.1016/j.scico.2013.02.010) | Download (pdf) of The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials

Folding Domain−Specific Languages: Deep and Shallow Embeddings

Jeremy Gibbons and Nicolas Wu

In International Conference on Functional Programming. Pages 339−347. September, 2014.

Details about Folding Domain−Specific Languages: Deep and Shallow Embeddings | BibTeX data for Folding Domain−Specific Languages: Deep and Shallow Embeddings | DOI (10.1145/2628136.2628138) | Download (pdf) of Folding Domain−Specific Languages: Deep and Shallow Embeddings

Categories for the Working Haskeller

Jeremy Gibbons

September, 2014.

Details about Categories for the Working Haskeller | BibTeX data for Categories for the Working Haskeller | Download (pdf) of Categories for the Working Haskeller

Entangled State Monads

James Cheney‚ James McKinna‚ Perdita Stevens‚ Jeremy Gibbons and Faris Abou−Saleh

In BX Workshop. March, 2014.

Details about Entangled State Monads | BibTeX data for Entangled State Monads | Download (pdf) of Entangled State Monads

Towards a Repository of BX Examples

James Cheney‚ James McKinna‚ Perdita Stevens and Jeremy Gibbons

In BX Workshop. March, 2014.

Details about Towards a Repository of BX Examples | BibTeX data for Towards a Repository of BX Examples | Download (pdf) of Towards a Repository of BX Examples

Compositionality in Embedded Domain−Specific Languages

Jeremy Gibbons

In Domain−Specific Language Design and Implementation. 2014.

Details about Compositionality in Embedded Domain−Specific Languages | BibTeX data for Compositionality in Embedded Domain−Specific Languages | Download (pdf) of Compositionality in Embedded Domain−Specific Languages

The coinductive resumption monad

Maciej Piróg and Jeremy Gibbons

Vol. 308. Pages 273–288. 2014.

Proceedings of the Thirtieth Conference on the Mathematical Foundations of Programming Semantics‚ MFPS XXX

Details about The coinductive resumption monad | BibTeX data for The coinductive resumption monad | Download  (pdf) of The coinductive resumption monad | DOI (10.1016/j.entcs.2014.10.015)

Completely iterative monads in semantics of coinductive programs

Maciej Adam Pirog

PhD Thesis , type= DPhil thesis. 2014.

Details about Completely iterative monads in semantics of coinductive programs | BibTeX data for Completely iterative monads in semantics of coinductive programs | Link to Completely iterative monads in semantics of coinductive programs

Analysis and synthesis of inductive families

Hsiang−Shang Ko

PhD Thesis University of Oxford. 2014.

Details about Analysis and synthesis of inductive families | BibTeX data for Analysis and synthesis of inductive families | Download (pdf) of Analysis and synthesis of inductive families

Understanding Idiomatic Traversals Backwards and Forwards

Richard Bird‚ Jeremy Gibbons‚ Stefan Mehner‚ Janis Voigtlaender and Tom Schrijvers

In Haskell Symposium. September, 2013.

Details about Understanding Idiomatic Traversals Backwards and Forwards | BibTeX data for Understanding Idiomatic Traversals Backwards and Forwards | DOI (10.1145/2503778.2503781) | Download (pdf) of Understanding Idiomatic Traversals Backwards and Forwards

Functional Programming for Domain−Specific Languages

Jeremy Gibbons

In Viktória Zsók‚ Zoltán Horváth and Lehel Csató, editors, Central European Functional Programming − Summer School on Domain−Specific Languages. Vol. 8606 of LNCS. Pages 1−28. Springer. July, 2013.

Details about Functional Programming for Domain−Specific Languages | BibTeX data for Functional Programming for Domain−Specific Languages | DOI (10.1007/978-3-319-15940-9_1) | Link to Functional Programming for Domain−Specific Languages

Categorical organisation of the ornament–refinement framework

Hsiang−Shang Ko and Jeremy Gibbons

Submitted to POPL'14. July, 2013.

Details about Categorical organisation of the ornament–refinement framework | BibTeX data for Categorical organisation of the ornament–refinement framework | Download (pdf) of Categorical organisation of the ornament–refinement framework

Accumulating Attributes (for Doaitse Swierstra‚ on his retirement)

Jeremy Gibbons

In Jurriaan Hage and Atze Dijkstra, editors, Een Lawine van Ontwortelde Bomen: Liber Amicorum voor Doaitse Swierstra. Pages 87−102. May, 2013.

Details about Accumulating Attributes (for Doaitse Swierstra‚ on his retirement) | BibTeX data for Accumulating Attributes (for Doaitse Swierstra‚ on his retirement) | Download (pdf) of Accumulating Attributes (for Doaitse Swierstra‚ on his retirement)

Modularising inductive families

Hsiang−Shang Ko and Jeremy Gibbons

In Progress in Informatics. No. 10. Pages 65−88. 2013.

Details about Modularising inductive families | BibTeX data for Modularising inductive families | DOI (10.2201/NiiPi.2013.10.5) | Download (pdf) of Modularising inductive families

Unifying Structured Recursion Schemes

Ralf Hinze‚ Nicolas Wu and Jeremy Gibbons

In Tarmo Uustalu, editor, Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming. Pages 209–220. New York‚ NY‚ USA. 2013. ACM.

Details about Unifying Structured Recursion Schemes | BibTeX data for Unifying Structured Recursion Schemes | DOI (10.1145/2500365.2500578) | Download (pdf) of Unifying Structured Recursion Schemes

Monads for behaviour

Maciej Piróg and Jeremy Gibbons

Vol. 298. Pages 309 − 324. 2013.

Proceedings of the Twenty−ninth Conference on the Mathematical Foundations of Programming Semantics‚ MFPS XXIX

Details about Monads for behaviour | BibTeX data for Monads for behaviour | Download  (pdf) of Monads for behaviour | DOI (10.1016/j.entcs.2013.09.019) | Link to Monads for behaviour

Relational algebraic ornaments

Hsiang−Shang Ko and Jeremy Gibbons

In Dependently Typed Programming. ACM. 2013.

Details about Relational algebraic ornaments | BibTeX data for Relational algebraic ornaments | DOI (10.1145/2502409.2502413) | Download (pdf) of Relational algebraic ornaments

Foundations of Health Information Engineering and Systems

Jeremy Gibbons and Wendy MacCaull, editors

Details about Foundations of Health Information Engineering and Systems | BibTeX data for Foundations of Health Information Engineering and Systems | DOI (10.1007/978-3-642-53956-5) | Download (pdf) of Foundations of Health Information Engineering and Systems

Unifying Theories of Programming with Monads

Jeremy Gibbons

In UTP Symposium. August, 2012.

Details about Unifying Theories of Programming with Monads | BibTeX data for Unifying Theories of Programming with Monads | DOI (10.1007/978-3-642-35705-3_2) | Download (pdf) of Unifying Theories of Programming with Monads

Mathematics of Program Construction

Jeremy Gibbons and Pablo Nogueira, editors

Details about Mathematics of Program Construction | BibTeX data for Mathematics of Program Construction | Link to Mathematics of Program Construction

Machine Learning and Software Engineering in Health Informatics

David A. Clifton‚ Jeremy Gibbons‚ Jim Davies and Lionel Tarassenko

May, 2012.

Details about Machine Learning and Software Engineering in Health Informatics | BibTeX data for Machine Learning and Software Engineering in Health Informatics | DOI (10.1109/RAISE.2012.6227968) | Download (pdf) of Machine Learning and Software Engineering in Health Informatics

Be Kind‚ Rewind: A Modest Proposal about Traversal

Jeremy Gibbons and Richard Bird

May, 2012.

Submitted for publication (but rejected)

Details about Be Kind‚ Rewind: A Modest Proposal about Traversal | BibTeX data for Be Kind‚ Rewind: A Modest Proposal about Traversal | Download (pdf) of Be Kind‚ Rewind: A Modest Proposal about Traversal

Refactoring Pattern Matching

Meng Wang‚ Jeremy Gibbons‚ Kazutaka Matsuda and Zhenjiang Hu

In Science of Computer Programming. Vol. 78. No. 11. Pages 2216−2242. January, 2012.

Revised version of the MPC2010 paper "Gradual Refinement"

Details about Refactoring Pattern Matching | BibTeX data for Refactoring Pattern Matching | DOI (10.1016/j.scico.2012.07.014) | Download (pdf) of Refactoring Pattern Matching

Generic and Indexed Programming

Jeremy Gibbons

Vol. 7470 of Lecture Notes in Computer Science. Springer. 2012.

Details about Generic and Indexed Programming | BibTeX data for Generic and Indexed Programming | DOI (10.1007/978-3-642-32202-0) | Link to Generic and Indexed Programming

The Beauty of Simplicity

Jeremy Gibbons

In Communications of the ACM. Vol. 55. No. 4. Pages 6. 2012.

Letter to the editor

Details about The Beauty of Simplicity | BibTeX data for The Beauty of Simplicity | DOI (10.1145/2133806.2133808) | Download (pdf) of The Beauty of Simplicity

Compositionality and Refinement in Model−Driven Engineering

Jim Davies‚ Jeremy Gibbons‚ David Milward and James Welch

In Rohit Gheyi and David A. Naumann, editors, Formal Methods: Foundations and Applications − 15th Brazilian Symposium‚ SBMF 2012. Proceedings. Vol. 7498 of Lecture Notes in Computer Science. Pages 99−114. Springer. 2012.

Details about Compositionality and Refinement in Model−Driven Engineering | BibTeX data for Compositionality and Refinement in Model−Driven Engineering | Download  (pdf) of Compositionality and Refinement in Model−Driven Engineering | DOI (10.1007/978-3-642-33296-8_9)

Tracing monadic computations and representing effects

Maciej Pirog and Jeremy Gibbons

In James Chapman and Paul Blain Levy, editors, Proceedings Fourth Workshop on Mathematically Structured Functional Programming‚ Tallinn‚ Estonia‚ 25 March 2012. Vol. 76 of Electronic Proceedings in Theoretical Computer Science. Pages 90−111. Open Publishing Association. 2012.

Details about Tracing monadic computations and representing effects | BibTeX data for Tracing monadic computations and representing effects | DOI (10.4204/EPTCS.76.8) | Download (pdf) of Tracing monadic computations and representing effects

Relating Algebraic and Coalgebraic Descriptions of Lenses

Jeremy Gibbons and Mike Johnson

Vol. 49 (Bidirectional Transformations 2012). 2012.

Details about Relating Algebraic and Coalgebraic Descriptions of Lenses | BibTeX data for Relating Algebraic and Coalgebraic Descriptions of Lenses | Link to Relating Algebraic and Coalgebraic Descriptions of Lenses

Maximum Segment Sum‚ Monadically (distilled tutorial)

Jeremy Gibbons

In Olivier Danvy and Chung−chieh Shan, editors, IFIP TC2 Working Conference on Domain−Specific Languages. Bordeaux. September, 2011.

Details about Maximum Segment Sum‚ Monadically (distilled tutorial) | BibTeX data for Maximum Segment Sum‚ Monadically (distilled tutorial) | DOI (10.4204/EPTCS.66.9) | Link to Maximum Segment Sum‚ Monadically (distilled tutorial)

Incremental Updates for Efficient Bidirectional Transformations

Meng Wang‚ Jeremy Gibbons and Nicolas Wu

In ICFP. September, 2011.

Details about Incremental Updates for Efficient Bidirectional Transformations | BibTeX data for Incremental Updates for Efficient Bidirectional Transformations | DOI (10.1145/2034773.2034825) | Download (pdf) of Incremental Updates for Efficient Bidirectional Transformations

Just do it: Simple monadic equational reasoning

Jeremy Gibbons and Ralf Hinze

In ICFP. September, 2011.

Details about Just do it: Simple monadic equational reasoning | BibTeX data for Just do it: Simple monadic equational reasoning | DOI (10.1145/2034773.2034777) | Download (pdf) of Just do it: Simple monadic equational reasoning

Form Follows Function: Model−Driven Engineering for Clinical Trials

Jim Davies‚ Jeremy Gibbons‚ Radu Calinescu‚ Charles Crichton‚ Steve Harris and Andrew Tsui

In International Symposium on Foundations of Health Information Engineering and Systems. Vol. 7151 of LNCS. Pages 21−38. Springer. August, 2011.

Details about Form Follows Function: Model−Driven Engineering for Clinical Trials | BibTeX data for Form Follows Function: Model−Driven Engineering for Clinical Trials | DOI (10.1007/978-3-642-32355-3_2) | Download (pdf) of Form Follows Function: Model−Driven Engineering for Clinical Trials

A Functional Derivation of the Warren Abstract Machine

Maciej Pirog and Jeremy Gibbons

2011.

Submitted for publication

Details about A Functional Derivation of the Warren Abstract Machine | BibTeX data for A Functional Derivation of the Warren Abstract Machine | Download (pdf) of A Functional Derivation of the Warren Abstract Machine

Formalisations and Applications of BPMN

Peter Y.H. Wong and Jeremy Gibbons

In Science of Computer Programming. Vol. 76. Pages 633−650. 2011.

Special issue on FOCLASA 2008

Details about Formalisations and Applications of BPMN | BibTeX data for Formalisations and Applications of BPMN | DOI (10.1016/j.scico.2009.09.010) | Download (pdf) of Formalisations and Applications of BPMN

Modularising inductive families

Hsiang−Shang Ko and Jeremy Gibbons

In Workshop on Generic Programming. Pages 13−24. ACM. 2011.

Details about Modularising inductive families | BibTeX data for Modularising inductive families | DOI (10.1145/2036918.2036921) | Download (pdf) of Modularising inductive families

Design Patterns as Higher−Order Datatype−Generic Programs

Jeremy Gibbons

Pages 36. 2010.

Submitted for publication‚ but rejected; revised version of the WGP2006 paper

Details about Design Patterns as Higher−Order Datatype−Generic Programs | BibTeX data for Design Patterns as Higher−Order Datatype−Generic Programs | Download (pdf) of Design Patterns as Higher−Order Datatype−Generic Programs

Property Specifications for Workflow Modelling

Peter Y.H. Wong and Jeremy Gibbons

In Science of Computer Programming. 2010.

Extended version. To appear.

Details about Property Specifications for Workflow Modelling | BibTeX data for Property Specifications for Workflow Modelling | DOI (10.1016/j.scico.2010.09.007)

Scala for Generic Programmers

Bruno C. d. S. Oliveira and Jeremy Gibbons

In Journal of Functional Programming. Vol. 20. No. 3‚4. Pages 303−352. 2010.

Revised version of the WGP2008 paper

Details about Scala for Generic Programmers | BibTeX data for Scala for Generic Programmers | DOI (10.1017/S0956796810000171) | Download (pdf) of Scala for Generic Programmers

Semantic Frameworks: Meanings in the Architecture

Jim Davies and Jeremy Gibbons

In Distributed Computing and Internet Technology. Vol. 5966 of LNCS. Pages 40−54. 2010.

Details about Semantic Frameworks: Meanings in the Architecture | BibTeX data for Semantic Frameworks: Meanings in the Architecture | DOI (10.1007/978-3-642-11659-9_4)

Gradual Refinement: Blending Pattern Matching with Data Abstraction

Meng Wang‚ Jeremy Gibbons‚ Kazutaka Matsuda and Zhenjiang Hu

In Jules Desharnais, editor, Mathematics of Program Construction. Vol. 6120 of LNCS. 2010.

See revised journal version "Refactoring Pattern Matching"

Details about Gradual Refinement: Blending Pattern Matching with Data Abstraction | BibTeX data for Gradual Refinement: Blending Pattern Matching with Data Abstraction | Download  (pdf) of Gradual Refinement: Blending Pattern Matching with Data Abstraction | DOI (10.1007/978-3-642-13321-3_22) | Download (pdf) of Gradual Refinement: Blending Pattern Matching with Data Abstraction

Haskell Symposium

Jeremy Gibbons, editor

Details about Haskell Symposium | BibTeX data for Haskell Symposium | Link to Haskell Symposium

Deep Zoom and Touch Screen for Tissue Microarray Image Scoring

Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Andrew Tsui‚ James Brenton‚ Carlos Caldas and Lorna Morris

Poster at Microsoft External Research Symposium. 2010.

Details about Deep Zoom and Touch Screen for Tissue Microarray Image Scoring | BibTeX data for Deep Zoom and Touch Screen for Tissue Microarray Image Scoring

Parametric Datatype−Genericity

Jeremy Gibbons and Ross Paterson

In Workshop on Generic Programming. Edinburgh. August, 2009.

Details about Parametric Datatype−Genericity | BibTeX data for Parametric Datatype−Genericity | DOI (10.1145/1596614.1596626) | Download (pdf) of Parametric Datatype−Genericity

Formal Methods for Future Interoperability

Jim Davies and Jeremy Gibbons

In ACM Inroads. Vol. 41. No. 2. Pages 60−64. June, 2009.

A revised version of "Formal Methods for Electronic Government" (FMET‚ 2008)

Details about Formal Methods for Future Interoperability | BibTeX data for Formal Methods for Future Interoperability | DOI (10.1145/1595453.1595463) | Download (pdf) of Formal Methods for Future Interoperability

Metadata−Driven Software for Clinical Trials

Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Andrew Tsui and James Brenton

May, 2009.

Details about Metadata−Driven Software for Clinical Trials | BibTeX data for Metadata−Driven Software for Clinical Trials | DOI (10.1109/SEHC.2009.5069600) | Download (pdf) of Metadata−Driven Software for Clinical Trials

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

Details about Property Specifications for Workflow Modelling | BibTeX data for Property Specifications for Workflow Modelling | DOI (10.1007/978-3-642-00255-7_5)

Model−Driven Support for a Vaccine Study in Kathmandu

Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Jane Metz‚ Andrew J. Pollard and Matthew Snape

In Microsoft eScience Workshop. October, 2009.

Details about Model−Driven Support for a Vaccine Study in Kathmandu | BibTeX data for Model−Driven Support for a Vaccine Study in Kathmandu | Download (pdf) of Model−Driven Support for a Vaccine Study in Kathmandu

Semantics−Driven Development for Electronic Government Applications

Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Aadya Shukla and Andrew Tsui

In HICSS (Electronic Government Track). Hawaii. January, 2009.

Details about Semantics−Driven Development for Electronic Government Applications | BibTeX data for Semantics−Driven Development for Electronic Government Applications | DOI (10.1109/HICSS.2009.384) | Download (pdf) of Semantics−Driven Development for Electronic Government Applications

Functional Pearls (editorial)

Jeremy Gibbons

In Journal of Functional Programming. 2009.

Details about Functional Pearls (editorial) | BibTeX data for Functional Pearls (editorial) | DOI (10.1017/S0956796809990256) | Download (pdf) of Functional Pearls (editorial)

The Essence of the Iterator Pattern

Jeremy Gibbons and Bruno César dos Santos Oliveira

In Journal of Functional Programming. Vol. 19. No. 3&4. Pages 377−402. 2009.

Revised version of Gibbons&Oliveira2006:Essence

Details about The Essence of the Iterator Pattern | BibTeX data for The Essence of the Iterator Pattern | DOI (10.1017/S0956796809007291) | Download (pdf) of The Essence of the Iterator Pattern

Translucent Abstraction: Safe Views through Invertible Programming (Extended version)

Meng Wang‚ Jeremy Gibbons and Kazutaka Matsuda

2009.

Details about Translucent Abstraction: Safe Views through Invertible Programming (Extended version) | BibTeX data for Translucent Abstraction: Safe Views through Invertible Programming (Extended version) | Download  (pdf) of Translucent Abstraction: Safe Views through Invertible Programming (Extended version)

Teaching Formal Methods

Details about Teaching Formal Methods | BibTeX data for Teaching Formal Methods | DOI (10.1007/978-3-642-04912-5) | Download (pdf) of Teaching Formal Methods

A Process Semantics for BPMN

Peter Wong and Jeremy Gibbons

In International Conference on Formal Engineering Methods. Kitakyushu‚ Japan. September, 2008.

Details about A Process Semantics for BPMN | BibTeX data for A Process Semantics for BPMN | Download (pdf) of A Process Semantics for BPMN

Scala for Generic Programmers

Bruno Oliveira and Jeremy Gibbons

In Ralf Hinze, editor, Workshop on Generic Programming. Victoria‚ BC. September, 2008.

Details about Scala for Generic Programmers | BibTeX data for Scala for Generic Programmers | DOI (10.1145/1411318.1411323) | Download (pdf) of Scala for Generic Programmers

Unifying Theories of Locations

Michael Anthony Smith and Jeremy Gibbons

In Andrew Butterfield, editor, Unifying Theories of Programming. Dublin. September, 2008.

Details about Unifying Theories of Locations | BibTeX data for Unifying Theories of Locations | DOI (10.1007/978-3-642-14521-6_10) | Download (pdf) of Unifying Theories of Locations

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

Details about Verifying Business Process Compatibility | BibTeX data for Verifying Business Process Compatibility | DOI (10.1109/QSIC.2008.6) | Download (pdf) of Verifying Business Process Compatibility

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 about On Specifying and Visualising Long−Running Empirical Studies | BibTeX data for On Specifying and Visualising Long−Running Empirical Studies | DOI (10.1007/978-3-540-69927-9_6) | Download (pdf) of On Specifying and Visualising Long−Running Empirical Studies

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 about A Relative Timed Semantics for BPMN | BibTeX data for A Relative Timed Semantics for BPMN | DOI (10.1016/j.entcs.2009.06.029) | Download (pdf) of A Relative Timed Semantics for BPMN

Unfolding Abstract Datatypes

Jeremy Gibbons

In Mathematics of Program Construction. July, 2008.

Details about Unfolding Abstract Datatypes | BibTeX data for Unfolding Abstract Datatypes | DOI (10.1007/978-3-540-70594-9_8) | Download (pdf) of Unfolding Abstract Datatypes

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 about Semantic Technologies in Electronic Government | BibTeX data for Semantic Technologies in Electronic Government | DOI (10.1145/1509096.1509108) | Download (pdf) of Semantic Technologies in Electronic Government

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 about Metadata Standards for Semantic Interoperability in Electronic Government | BibTeX data for Metadata Standards for Semantic Interoperability in Electronic Government | Download (pdf) of Metadata Standards for Semantic Interoperability in Electronic Government

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 about Accelerating Cancer Research Using Semantics−Driven Technology | BibTeX data for Accelerating Cancer Research Using Semantics−Driven Technology | Download (pdf) of Accelerating Cancer Research Using Semantics−Driven Technology

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.

Details about A Process Semantics for BPMN | BibTeX data for A Process Semantics for BPMN | DOI (10.1007/978-3-540-88194-0_22)

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 about Formal Methods for Electronic Government | BibTeX data for Formal Methods for Electronic Government | Download (pdf) of Formal Methods for Electronic Government

Interoperability Frameworks for Electronic Governance

Alejandra Cechich‚ Lorenzo Madrid‚ Jeremy Gibbons and Jay Kesan

In Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance. Pages 490–491. Cairo‚ Egypt. 2008. ACM.

Details about Interoperability Frameworks for Electronic Governance | BibTeX data for Interoperability Frameworks for Electronic Governance | Link to Interoperability Frameworks for Electronic Governance

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 about Evolving Health Informatics: Semantic Frameworks and Metadata−Driven Architectures | BibTeX data for Evolving Health Informatics: Semantic Frameworks and Metadata−Driven Architectures | Download (pdf) of Evolving Health Informatics: Semantic Frameworks and Metadata−Driven Architectures

Metamodel−Based 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 and Carlos Caldas

In IEEE eScience Conference. 2008.

Details about Metamodel−Based Generation of WSRF−Compliant SOA for Collaborative Cancer Research | BibTeX data for Metamodel−Based Generation of WSRF−Compliant SOA for Collaborative Cancer Research | DOI (10.1109/eScience.2008.129)

WSRF−Based Modeling of Clinical Trial Information for Collaborative Cancer Research

Tianyi Zang‚ Radu Calinescu‚ Steve Harris‚ Andrew Tsui‚ Marta Kwiatkowska‚ Jeremy Gibbons‚ Jim Davies‚ Peter Maccallum and Carlos Caldas

In 8th IEEE International Symposium on Cluster Computing (CCGrid). 2008.

Details about WSRF−Based Modeling of Clinical Trial Information for Collaborative Cancer Research | BibTeX data for WSRF−Based Modeling of Clinical Trial Information for Collaborative Cancer Research | DOI (10.1109/CCGRID.2008.57) | Download (pdf) of WSRF−Based Modeling of Clinical Trial Information for Collaborative Cancer Research

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 about Verifying Business Process Compatibility | BibTeX data for Verifying Business Process Compatibility | Download (pdf) of Verifying Business Process Compatibility

On Specifying and Visualising Long−Running Empirical Studies

Peter Y. H. Wong and Jeremy Gibbons

In International Conference on Model Transformations (ICMT). 2008.

Details about On Specifying and Visualising Long−Running Empirical Studies | BibTeX data for On Specifying and Visualising Long−Running Empirical Studies | Download (pdf) of On Specifying and Visualising Long−Running Empirical Studies

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 about The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component | BibTeX data for The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component | DOI (10.1145/1449764.1449799) | Download (pdf) of The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component

Model−Driven Architecture for Cancer Research

Radu Calinescu‚ Steve Harris‚ Jeremy Gibbons‚ Jim Davies‚ Igor Toujilov and Sylvia Nagl

In Software Engineering and Formal Methods. Pages 59−68. September, 2007.

Details about Model−Driven Architecture for Cancer Research | BibTeX data for Model−Driven Architecture for Cancer Research | DOI (10.1109/SEFM.2007.26) | Download (pdf) of Model−Driven Architecture for Cancer Research

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 about A Process−Algebraic Approach to Workflow Specification and Refinement | BibTeX data for A Process−Algebraic Approach to Workflow Specification and Refinement | DOI (10.1007/978-3-540-77351-1_5) | Download (pdf) of A Process−Algebraic Approach to Workflow Specification and Refinement

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 about Semantic Frameworks for e−Government | BibTeX data for Semantic Frameworks for e−Government | DOI (10.1145/1328057.1328066) | Download (pdf) of Semantic Frameworks for e−Government

Report on Fourth Workshop on Commercial Users of Functional Programming

Jeremy Gibbons

December, 2007.

Details about Report on Fourth Workshop on Commercial Users of Functional Programming | BibTeX data for Report on Fourth Workshop on Commercial Users of Functional Programming | Download (pdf) of Report on Fourth Workshop on Commercial Users of Functional Programming

Cross−Trial Query System for Cancer Clinical Trials

Radu Calinescu‚ Steve Harris‚ Jeremy Gibbons and Jim Davies

In Tarek Sobh, editor, Innovations and Advanced Techniques in Computer and Information Sciences and Engineering. Pages 385–390. Springer. 2007.

Details about Cross−Trial Query System for Cancer Clinical Trials | BibTeX data for Cross−Trial Query System for Cancer Clinical Trials | DOI (10.1007/978-1-4020-6268-1_69) | Download (pdf) of Cross−Trial Query System for Cancer Clinical Trials

Metamorphisms: Streaming Representation−Changers

Jeremy Gibbons

In Science of Computer Programming. Vol. 65. No. 2. Pages 108−139. 2007.

Details about Metamorphisms: Streaming Representation−Changers | BibTeX data for Metamorphisms: Streaming Representation−Changers | DOI (10.1016/j.scico.2006.01.006) | Download (pdf) of Metamorphisms: Streaming Representation−Changers

A Process−Algebraic Approach to Workflow Specification and Refinement

Peter Y. H. Wong and Jeremy Gibbons

In Software Composition. 2007.

Details about A Process−Algebraic Approach to Workflow Specification and Refinement | BibTeX data for A Process−Algebraic Approach to Workflow Specification and Refinement | Download (pdf) of A Process−Algebraic Approach to Workflow Specification and Refinement

Generic and Indexed Programming

Jeremy Gibbons‚ Meng Wang and Bruno Cesar dos Santos Oliveira

In Marco Morazan, editor, Trends in Functional Programming. 2007.

Details about Generic and Indexed Programming | BibTeX data for Generic and Indexed Programming | Download (pdf) of Generic and Indexed Programming

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 about Datatype−Generic Programming | BibTeX data for Datatype−Generic Programming | Download (pdf) of Datatype−Generic Programming

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 about Unifying Theories of Objects | BibTeX data for Unifying Theories of Objects | Download (pdf) of Unifying Theories of Objects

Spring School on Datatype−Generic Programming

Roland Backhouse‚ Jeremy Gibbons‚ Ralf Hinze and Johan Jeuring, editors

Details about Spring School on Datatype−Generic Programming | BibTeX data for Spring School on Datatype−Generic Programming | Download (pdf) of Spring School on Datatype−Generic Programming

Integrated Formal Methods

Jim Davies and Jeremy Gibbons, editors

Details about Integrated Formal Methods | BibTeX data for Integrated Formal Methods | Download (pdf) of Integrated Formal Methods

Design Patterns as Higher−Order Datatype−Generic Programs

Jeremy Gibbons

In Ralf Hinze, editor, Workshop on Generic Programming. September, 2006.

Details about Design Patterns as Higher−Order Datatype−Generic Programs | BibTeX data for Design Patterns as Higher−Order Datatype−Generic Programs | Download (pdf) of Design Patterns as Higher−Order Datatype−Generic Programs

An Unbounded Spigot Algorithm for the Digits of Pi

Jeremy Gibbons

In American Mathematical Monthly. Vol. 113. No. 4. Pages 318−328. April, 2006.

Reprinted on p245−257 of "Pi: The Next Generation"‚ ed David H. Bailey and Jonathan M. Borwein‚ Springer 2016‚ ISBN 978−3−319−32377−0

Details about An Unbounded Spigot Algorithm for the Digits of Pi | BibTeX data for An Unbounded Spigot Algorithm for the Digits of Pi | DOI (10.2307/27641917) | Link to An Unbounded Spigot Algorithm for the Digits of Pi

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 about Fast and Loose Reasoning is Morally Correct | BibTeX data for Fast and Loose Reasoning is Morally Correct | DOI (10.1145/1111037.1111056) | Download (pdf) of Fast and Loose Reasoning is Morally Correct

Enumerating the Rationals

Jeremy Gibbons‚ David Lester and Richard Bird

In Journal of Functional Programming. Vol. 16. No. 4. 2006.

Details about Enumerating the Rationals | BibTeX data for Enumerating the Rationals | DOI (10.1017/S0956796806005880) | Download (pdf) of Enumerating the Rationals

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 about Fission for Program Comprehension | BibTeX data for Fission for Program Comprehension | DOI (10.1007/11783596_12) | Download (pdf) of Fission for Program Comprehension

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 about The Essence of the Iterator Pattern | BibTeX data for The Essence of the Iterator Pattern | Download (pdf) of The Essence of the Iterator Pattern

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 about Design Patterns as Higher−Order Datatype−Generic Programs | BibTeX data for Design Patterns as Higher−Order Datatype−Generic Programs | Link to Design Patterns as Higher−Order Datatype−Generic Programs

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 about Design Patterns as Higher−Order Datatype−Generic Programs | BibTeX data for Design Patterns as Higher−Order Datatype−Generic Programs | Link to Design Patterns as Higher−Order Datatype−Generic Programs

Proof Methods for Corecursive Programs

Jeremy Gibbons and Graham Hutton

In Fundamenta Informaticae. Vol. 66. No. 4. Pages 353−366. 2005.

Details about Proof Methods for Corecursive Programs | BibTeX data for Proof Methods for Corecursive Programs | Download (pdf) of Proof Methods for Corecursive Programs

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 about TypeCase: A Design Pattern for Type−Indexed Functions | BibTeX data for TypeCase: A Design Pattern for Type−Indexed Functions | DOI (10.1145/1088348.1088358) | Download (pdf) of TypeCase: A Design Pattern for Type−Indexed Functions

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 about Streaming Representation−Changers | BibTeX data for Streaming Representation−Changers | DOI (10.1007/978-3-540-27764-4_9) | Download (pdf) of Streaming Representation−Changers

Disciplined‚ efficient‚ generalised folds for nested datatypes

Clare Martin‚ Jeremy Gibbons and Ian Bayley

In Formal Aspects of Computing. Vol. 16. No. 1. Pages 19−35. 2004.

Details about Disciplined‚ efficient‚ generalised folds for nested datatypes | BibTeX data for Disciplined‚ efficient‚ generalised folds for nested datatypes | DOI (10.1007/s00165-003-0013-6) | Download (pdf) of Disciplined‚ efficient‚ generalised folds for nested datatypes

Summer School on Generic Programming

Roland Backhouse and Jeremy Gibbons

Vol. 2793 of Lecture Notes in Computer Science. Springer−Verlag. 2003.

Details about Summer School on Generic Programming | BibTeX data for Summer School on Generic Programming | Download (pdf) of Summer School on Generic Programming

The Fun of Programming

Jeremy Gibbons and Oege de Moor

Palgrave. 2003.

Hardback ISBN: 1−4039−0772−2

Details about The Fun of Programming | BibTeX data for The Fun of Programming

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 about On The Supervision and Assessment Of Part−Time Postgraduate Software Engineering Projects | BibTeX data for On The Supervision and Assessment Of Part−Time Postgraduate Software Engineering Projects | Download (pdf) of On The Supervision and Assessment Of Part−Time Postgraduate Software Engineering Projects

Arithmetic Coding with Folds and Unfolds

Richard Bird and Jeremy Gibbons

In Johan Jeuring and Simon Peyton Jones, editors, Advanced Functional Programming 4. Vol. 2638 of Lecture Notes in Computer Science. Pages 1−26. Springer−Verlag. 2003.

Code available at http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/arith.zip

Details about Arithmetic Coding with Folds and Unfolds | BibTeX data for Arithmetic Coding with Folds and Unfolds | DOI (10.1007/978-3-540-44833-4_1) | Download (pdf) of Arithmetic Coding with Folds and Unfolds

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 about Patterns in Datatype−Generic Programming | BibTeX data for Patterns in Datatype−Generic Programming | Download (pdf) of Patterns in Datatype−Generic Programming

Generic Programming

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 about Generic Programming | BibTeX data for Generic Programming | Download (pdf) of Generic Programming

Origami Programming

Jeremy Gibbons

In Jeremy Gibbons and Oege de Moor, editors, The Fun of Programming. Pages 41−60. Palgrave. 2003.

Details about Origami Programming | BibTeX data for Origami Programming | Download (pdf) of Origami Programming

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 about Towards a Colimit−Based Semantics for Visual Programming | BibTeX data for Towards a Colimit−Based Semantics for Visual Programming | Download (pdf) of Towards a Colimit−Based Semantics for Visual Programming

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Roland Backhouse‚ Roy Crole and Jeremy Gibbons

Vol. 2297 of Lecture Notes in Computer Science. Springer−Verlag. 2002.

Details about Algebraic and Coalgebraic Methods in the Mathematics of Program Construction | BibTeX data for Algebraic and Coalgebraic Methods in the Mathematics of Program Construction | Download (pdf) of Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

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 about Algebraic Methods for Optimization Problems | BibTeX data for Algebraic Methods for Optimization Problems | Download (pdf) of Algebraic Methods for Optimization Problems

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 about Calculating Functional Programs | BibTeX data for Calculating Functional Programs | Download (pdf) of Calculating Functional Programs

The Generic Approximation Lemma

Graham Hutton and Jeremy Gibbons

In Information Processing Letters. Vol. 79. No. 4. Pages 197–201. August, 2001.

Details about The Generic Approximation Lemma | BibTeX data for The Generic Approximation Lemma | DOI (10.1016/S0020-0190(00)00220-9) | Link to The Generic Approximation Lemma

When is a Function a Fold or an Unfold?

Jeremy Gibbons‚ Graham Hutton and Thorsten Altenkirch

In Electronic Notes in Theoretical Computer Science. Vol. 44. No. 1. April, 2001.

Proceedings of Coalgebraic Methods in Computer Science

Details about When is a Function a Fold or an Unfold? | BibTeX data for When is a Function a Fold or an Unfold? | DOI (10.1016/S1571-0661(04)80906-X) | Link to When is a Function a Fold or an Unfold?

On the Semantics of Nested Datatypes

Clare Martin and Jeremy Gibbons

In Information Processing Letters. Vol. 80. No. 5. Pages 233–238. December, 2001.

Details about On the Semantics of Nested Datatypes | BibTeX data for On the Semantics of Nested Datatypes | Link to On the Semantics of Nested Datatypes

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.

Details about Pointwise Relational Programming | BibTeX data for Pointwise Relational Programming | Link to Pointwise Relational Programming

Generic Downwards Accumulations

Jeremy Gibbons

In Science of Computer Programming. Vol. 37. Pages 37–65. 2000.

Details about Generic Downwards Accumulations | BibTeX data for Generic Downwards Accumulations | Link to Generic Downwards Accumulations

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 about Program Optimisation‚ Naturally | BibTeX data for Program Optimisation‚ Naturally | Link to Program Optimisation‚ Naturally

Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Jeremy Gibbons

March, 1999.

Estonian Winter School on Computer Science

Details about Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs | BibTeX data for Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

A Pointless Derivation of Radixsort

Jeremy Gibbons

In Journal of Functional Programming. Vol. 9. No. 3. Pages 339–346. 1999.

Details about A Pointless Derivation of Radixsort | BibTeX data for A Pointless Derivation of Radixsort | Link to A Pointless Derivation of Radixsort

Bridging the Algorithm Gap: A Linear−Time Functional Program for Paragraph Formatting

Oege de Moor and Jeremy Gibbons

In Science of Computer Programming. Vol. 35. No. 1. 1999.

Details about Bridging the Algorithm Gap: A Linear−Time Functional Program for Paragraph Formatting | BibTeX data for Bridging the Algorithm Gap: A Linear−Time Functional Program for Paragraph Formatting | Link to Bridging the Algorithm Gap: A Linear−Time Functional Program for Paragraph Formatting

Proof Methods for Structured Corecursive Programs

Jeremy Gibbons and Graham Hutton

In Proceedings of 1st Scottish Workshop on Functional Programming. 1999.

Details about Proof Methods for Structured Corecursive Programs | BibTeX data for Proof Methods for Structured Corecursive Programs

The Under−Appreciated Unfold

Jeremy Gibbons and Geraint Jones

In International Conference on Functional Programming. Pages 273–279. Baltimore‚ Maryland. September, 1998.

Details about The Under−Appreciated Unfold | BibTeX data for The Under−Appreciated Unfold | Link to The Under−Appreciated Unfold

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 about Polytypic Downwards Accumulations | BibTeX data for Polytypic Downwards Accumulations | Link to Polytypic Downwards Accumulations

Structured Programming in Java

Jeremy Gibbons

In 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 about Structured Programming in Java | BibTeX data for Structured Programming in Java | Link to Structured Programming in Java

Against the Grain: Linear−Time Breadth−First Tree Algorithms

Jeremy Gibbons and Geraint Jones

1998.

Oxford Brookes University and Oxford University Computing Laboratory

Details about Against the Grain: Linear−Time Breadth−First Tree Algorithms | BibTeX data for Against the Grain: Linear−Time Breadth−First Tree Algorithms

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 about Calculating Functional Programs | BibTeX data for Calculating Functional Programs | Link to Calculating Functional Programs

More on Merging and Selection

Jeremy Gibbons

No. CMS−TR−97−08. School of Computing and Mathematical Sciences‚ Oxford Brookes University. October, 1997.

Details about More on Merging and Selection | BibTeX data for More on Merging and Selection | Link to More on Merging and Selection

Conditionals in Distributive Categories

Jeremy Gibbons

No. CMS−TR−97−01. School of Computing and Mathematical Sciences‚ Oxford Brookes University. January, 1997.

Details about Conditionals in Distributive Categories | BibTeX data for Conditionals in Distributive Categories | Link to Conditionals in Distributive Categories

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.

Details about Tracing Lazy Functional Languages | BibTeX data for Tracing Lazy Functional Languages | Link to Tracing Lazy Functional Languages

Computing Downwards Accumulations on Trees Quickly

Jeremy Gibbons

In 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 about Computing Downwards Accumulations on Trees Quickly | BibTeX data for Computing Downwards Accumulations on Trees Quickly | Link to Computing Downwards Accumulations on Trees Quickly

Deriving Tidy Drawings of Trees

Jeremy Gibbons

In Journal of Functional Programming. Vol. 6. No. 3. Pages 535–562. 1996.

Details about Deriving Tidy Drawings of Trees | BibTeX data for Deriving Tidy Drawings of Trees | Link to Deriving Tidy Drawings of Trees

The Third Homomorphism Theorem

Jeremy Gibbons

In Journal of Functional Programming. Vol. 6. No. 4. Pages 657–665. 1996.

Earlier version appeared in B. Jay‚C. editor‚ Computing: The Australian Theory Seminar‚ Sydney‚ December 1994‚ 62–6p.9

Details about The Third Homomorphism Theorem | BibTeX data for The Third Homomorphism Theorem | Link to The Third Homomorphism Theorem

Combinatorics‚ Complexity and Logic: Proceedings of Discrete Mathematics and Theoretical Computer Science

Douglas Bridges‚ Cris Calude‚ Jeremy Gibbons‚ Steve Reeves and Ian Witten, editors

Details about Combinatorics‚ Complexity and Logic: Proceedings of Discrete Mathematics and Theoretical Computer Science | BibTeX data for Combinatorics‚ Complexity and Logic: Proceedings of Discrete Mathematics and Theoretical Computer Science

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 about An Initial−Algebra Approach to Directed Acyclic Graphs | BibTeX data for An Initial−Algebra Approach to Directed Acyclic Graphs | Link to An Initial−Algebra Approach to Directed Acyclic Graphs

Dotted and Dashed Lines in Metafont

Jeremy Gibbons

In Robin Fairbairns, editor, Proceedings of the 1995 Annual Meeting. Users' Group. 1995.

Details about Dotted and Dashed Lines in Metafont | BibTeX data for Dotted and Dashed Lines in Metafont | Link to Dotted and Dashed Lines in Metafont

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 about An Introduction to the Bird−Meertens Formalism | BibTeX data for An Introduction to the Bird−Meertens Formalism | Link to An Introduction to the Bird−Meertens Formalism

Efficient Parallel Algorithms for Tree Accumulations

Jeremy Gibbons‚ Wentong Cai and David Skillicorn

In Science of Computer Programming. Vol. 23. Pages 1–18. 1994.

Details about Efficient Parallel Algorithms for Tree Accumulations | BibTeX data for Efficient Parallel Algorithms for Tree Accumulations | Link to Efficient Parallel Algorithms for Tree Accumulations

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‚ 105–126p‥

Details about How to Derive Tidy Drawings of Trees | BibTeX data for How to Derive Tidy Drawings of Trees | Link to How to Derive Tidy Drawings of Trees

Linear−time Breadth−first Tree Algorithms: An Exercise in the Arithmetic of Folds and Zips

Geraint Jones and Jeremy Gibbons

No. 7No.1. Dept of Computer Science‚ University of Auckland. May, 1993.

Also IFIP Working Group 2.1 working paper 705 WIN−2

Details about Linear−time Breadth−first Tree Algorithms: An Exercise in the Arithmetic of Folds and Zips | BibTeX data for Linear−time Breadth−first Tree Algorithms: An Exercise in the Arithmetic of Folds and Zips | Link to Linear−time Breadth−first Tree Algorithms: An Exercise in the Arithmetic of Folds and Zips

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 about Computing Downwards Accumulations on Trees Quickly | BibTeX data for Computing Downwards Accumulations on Trees Quickly

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 about Upwards and Downwards Accumulations on Trees | BibTeX data for Upwards and Downwards Accumulations on Trees | Link to Upwards and Downwards Accumulations on Trees

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 about Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating−Point Unit | BibTeX data for Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating−Point Unit | Link to Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating−Point Unit

Algebras for Tree Algorithms

Jeremy Gibbons

PhD Thesis , type= D.Phil. thesis. Programming Research Group‚ Oxford University. 1991.

Available as Technical Monograph PRG−94. ISBN 0−902928−72−4

Details about Algebras for Tree Algorithms | BibTeX data for Algebras for Tree Algorithms | Download (pdf) of Algebras for Tree Algorithms

Formal Derivation of a Pattern Matching Algorithm

Richard S. Bird‚ Jeremy Gibbons and Geraint Jones

In Science of Computer Programming. Vol. 12. No. 2. Pages 93–104. July, 1989.

Details about Formal Derivation of a Pattern Matching Algorithm | BibTeX data for Formal Derivation of a Pattern Matching Algorithm | Link to Formal Derivation of a Pattern Matching Algorithm

A New View of Binary Trees

Jeremy Gibbons

Master's Thesis , type= Transferral dissertation. Programming Research Group‚ Oxford University. 1988.

Abstract appears in the Bulletin of the EATCS‚ number 39‚ p. 214.

Details about A New View of Binary Trees | BibTeX data for A New View of Binary Trees

Details about | BibTeX data for