Skip to main content

Bidirectional Transformations: Publications

Click here to download all publications in a single bibtex file

@book{ssbx,
  title = "Bidirectional Transformations",
  author = "Jeremy Gibbons and Perdita Stevens",
  year = "2018",
  editor = "Jeremy Gibbons and Perdita Stevens",
  isbn = "978-3-319-79107-4",
  publisher = "Springer",
  series = "LNCS",
  url = "https://link.springer.com/book/10.1007%2F978-3-319-79108-1",
  volume = "9715",
  doi = "10.1007/978-3-319-79108-1",
}
@article{ssbx-intro,
  title = "Introduction to Bidirectional Transformations",
  author = "Faris Abou-Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens",
  year = "2018",
  booktitle = "Bidirectional Transformations",
  pages = "1-28",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/ssbx-intro.pdf",
  volume = "9715",
  doi = "10.1007/978-3-319-79108-1_1",
}
@article{cbx-jot,
  title = "Coalgebraic Aspects of Bidirectional Computation",
  author = "Faris Abou-Saleh and James McKinna and Jeremy Gibbons",
  year = "2017",
  journal = "Journal of Object Technology",
  number = "1",
  pages = "1:1-29",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/cbx-jot.pdf",
  volume = "16",
  doi = "10.5381/jot.2017.16.1.a1",
}
@article{leastchange-jot,
  title = "On Principles of Least Change and Least Surprise for Bidirectional Transformations",
  author = "James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens",
  year = "2017",
  journal = "Journal of Object Technology",
  number = "1",
  pages = "3:1-31",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/leastchange-jot.pdf",
  volume = "16",
  doi = "10.5381/jot.2017.16.1.a3",
}
@inproceedings{mlenses,
  title = "Reflections on Monadic Lenses",
  author = "Faris Abou-Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens",
  year = "2016",
  booktitle = "A List of Successes That Can Change the World",
  month = "April",
  pages = "1-31",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/mlenses.pdf",
  volume = "9600",
  doi = "10.1007/978-3-319-30936-1_1",
}
@inproceedings{entangled,
  title = "Notions of Bidirectional Computation and Entangled State Monads",
  author = "Faris Abou-Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens",
  year = "2015",
  booktitle = "Mathematics of Program Construction",
  month = "June",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/entangled.pdf",
}
@article{bx-effectful,
  title = "Bidirectional Transformation is Effectful",
  author = "Faris Abou-Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens",
  year = "2015",
  booktitle = "SNAPL: The Inaugural Summit on Advances in Programming Languages",
  month = "May",
  note = "This is an abstract of the paper "Notions of Bidirectional Computation and Entangled State Monads", to appear at MPC 2015",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/bx-effectful.pdf",
}
@inproceedings{entangled-abs,
  title = "Entangled State Monads",
  author = "James Cheney and James McKinna and Perdita Stevens and Jeremy Gibbons and Faris Abou-Saleh",
  year = "2014",
  booktitle = "BX Workshop",
  month = "March",
  url = "http://ceur-ws.org/Vol-1133/paper-17.pdf",
}
@inproceedings{repo,
  title = "Towards a Repository of BX Examples",
  author = "James Cheney and James McKinna and Perdita Stevens and Jeremy Gibbons",
  year = "2014",
  booktitle = "BX Workshop",
  month = "March",
  url = "http://ceur-ws.org/Vol-1133/paper-14.pdf",
}