@techreport{Bauer12Parametricity,
  author = {Andrej Bauer and Martin Hofmann and Aleksandr Karbyshev},
  title = {On {M}onadic {P}arametricity of {S}econd-{O}rder {F}unctionals},
  booktitle = {IFL},
  editor = {Ralf Hinze},
  month = {August},
  year = 2012,
  pages = {37-52},
  volume = {RR-12-06},
  publisher = {University of Oxford},
}