Publications

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