Jeremy Gibbons : Publications
-
[1]
-
[2]
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
-
[3]
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
-
[4]
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
-
[5]
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 | DOI (10.1017/s0956796899003354) | Link to A Pointless Derivation of Radixsort
-
[6]
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
-
[7]
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
-
[8]
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
-
[9]
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
-
[10]
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
-
[11]
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)
-
[12]
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
-
[13]
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
-
[14]
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)
-
[15]
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
-
[16]
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
-
[17]
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
-
[18]
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
-
[19]
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
-
[20]
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
-
[21]
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 | Download of Algorithmics | DOI (10.1007/978-3-030-81701-5_3) | Download (pdf) of Algorithmics
-
[22]
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
-
[23]
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)
-
[24]
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
-
[25]
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
-
[26]
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
-
[27]
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
-
[28]
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
-
[29]
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
-
[30]
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
-
[31]
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
-
[32]
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
-
[33]
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
-
[34]
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
-
[35]
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
-
[36]
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
-
[37]
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
-
[38]
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
-
[39]
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
-
[40]
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
-
[41]
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
-
[42]
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
-
[43]
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
-
[44]
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
-
[45]
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)
-
[46]
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
-
[47]
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
-
[48]
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
-
[49]
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 |