BibTeX record conf/mpc/Abou-SalehCGMS15

• > Home > conf/mpc/Abou-SalehCGMS15

@inproceedings{DBLP:conf/mpc/Abou-SalehCGMS15,
  author       = {Faris Abou{-}Saleh and
                  James Cheney and
                  Jeremy Gibbons and
                  James McKinna and
                  Perdita Stevens},
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {Notions of Bidirectional Computation and Entangled State Monads},
  booktitle    = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  pages        = {187--214},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5\_9},
  doi          = {10.1007/978-3-319-19797-5\_9},
  timestamp    = {Wed, 07 Dec 2022 23:12:33 +0100},
  biburl       = {https://dblp.org/rec/conf/mpc/Abou-SalehCGMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}