@inproceedings{Bauer13Parametricity,
  author = {Andrej Bauer and Martin Hofmann and Aleksandr Karbyshev},
  title = {On {M}onadic {P}arametricity of {S}econd-{O}rder {F}unctionals},
  booktitle = {FoSSaCS},
  editor = {Frank Pfenning},
  month = {March},
  year = 2013,
  pages = {225-240},
  series = {Lecture Notes in Computer Science},
  volume = {7794},
  publisher = {Springer},
  doi = {10.1007/978-3-642-37075-5_15},
}