Publications
-
Profunctor Optics‚ a Categorical Update
Bryce Clarke‚ Derek Elkins‚ Jeremy Gibbons‚ Fosco Loregian‚ Bartosz Milewski‚ Emily Pillmore and Mario Román
No. 2001.07488. January, 2020.
Details about Profunctor Optics‚ a Categorical Update | BibTeX data for Profunctor Optics‚ a Categorical Update | Link to Profunctor Optics‚ a Categorical Update
-
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
-
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
-
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
-
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
-
Coding with Asymmetric Numeral Systems
Jeremy Gibbons
In Mathematics of Program Construction. October, 2019.
To appear
Details about Coding with Asymmetric Numeral Systems | BibTeX data for Coding with Asymmetric Numeral Systems | Download (pdf) of Coding with Asymmetric Numeral Systems
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
Genericity‚ extensibility and type−safety in the Visitor pattern
Bruno C. d. S. Oliveira
PhD Thesis 2007.
Details about Genericity‚ extensibility and type−safety in the Visitor pattern | BibTeX data for Genericity‚ extensibility and type−safety in the Visitor pattern | Download (pdf) of Genericity‚ extensibility and type−safety in the Visitor pattern | Download (pdf) of Genericity‚ extensibility and type−safety in the Visitor pattern