@Inproceedings{EPTCS317.3, author = {Baanen, Anne and Swierstra, Wouter}, year = {2020}, title = {Combining predicate transformer semantics for effects: a case study in parsing regular languages}, editor = {New, Max S. and Lindley, Sam}, booktitle = {{\rm Proceedings Eighth Workshop on} Mathematically Structured Functional Programming, {\rm Dublin, Ireland, 25th April 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {317}, publisher = {Open Publishing Association}, pages = {39-56}, doi = {10.4204/EPTCS.317.3}, }