Monads, Partial Evaluations, and Rewriting

Tobias Fritz, Paolo Perrone. Monads, Partial Evaluations, and Rewriting. In Patricia Johann, editor, Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020. Volume 352 of Electronic Notes in Theoretical Computer Science, pages 129-148, Elsevier, 2020. [doi]

@inproceedings{FritzP20,
  title = {Monads, Partial Evaluations, and Rewriting},
  author = {Tobias Fritz and Paolo Perrone},
  year = {2020},
  doi = {10.1016/j.entcs.2020.09.007},
  url = {https://doi.org/10.1016/j.entcs.2020.09.007},
  researchr = {https://researchr.org/publication/FritzP20},
  cites = {0},
  citedby = {0},
  pages = {129-148},
  booktitle = {Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020},
  editor = {Patricia Johann},
  volume = {352},
  series = {Electronic Notes in Theoretical Computer Science},
  publisher = {Elsevier},
}