@inproceedings{westbrook-predicate-monads,
  title={Predicate {M}onads: A {F}ramework for {P}roving {G}eneric {P}roperties of {M}onadic {P}rograms via {R}ewriting},
  authors={Edwin Westbrook and Gregory Malecha},
  year={2017},
  month=Jan,
  conference={CoqPL'17},
  location={Paris, France}
}