@techreport{Bauer12Parametricity,
 author    = {Andrej Bauer and
              Martin Hofmann and
              Aleksandr Karbyshev},
 title     = {On Monadic Parametricity of Second-Order Functionals},
 booktitle = {IFL},
 year      = {2012},
 month     = aug,
 pages     = {37-52},
 editor    = {Ralf Hinze},
 publisher = {University of Oxford},
 volume    = {RR-12-06},
 pdf       = {http://www.cs.ox.ac.uk/files/5260/CS-RR-12-06.pdf}
}

{"_id":"wuEEhaQt3e2HzwSQv","bibbaseid":"bauer-hofmann-karbyshev-onmonadicparametricityofsecondorderfunctionals-2012","downloads":0,"creationDate":"2017-07-31T23:33:57.107Z","title":"On Monadic Parametricity of Second-Order Functionals","author_short":["Bauer, A.","Hofmann, M.","Karbyshev, A."],"year":2012,"bibtype":"techreport","biburl":"http://www2.in.tum.de/~karbyshev/karbyshev.bib","bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["Andrej"],"propositions":[],"lastnames":["Bauer"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Hofmann"],"suffixes":[]},{"firstnames":["Aleksandr"],"propositions":[],"lastnames":["Karbyshev"],"suffixes":[]}],"title":"On Monadic Parametricity of Second-Order Functionals","booktitle":"IFL","year":"2012","month":"August","pages":"37-52","editor":[{"firstnames":["Ralf"],"propositions":[],"lastnames":["Hinze"],"suffixes":[]}],"publisher":"University of Oxford","volume":"RR-12-06","pdf":"http://www.cs.ox.ac.uk/files/5260/CS-RR-12-06.pdf","bibtex":"@techreport{Bauer12Parametricity,\n author = {Andrej Bauer and\n Martin Hofmann and\n Aleksandr Karbyshev},\n title = {On Monadic Parametricity of Second-Order Functionals},\n booktitle = {IFL},\n year = {2012},\n month = aug,\n pages = {37-52},\n editor = {Ralf Hinze},\n publisher = {University of Oxford},\n volume = {RR-12-06},\n pdf = {http://www.cs.ox.ac.uk/files/5260/CS-RR-12-06.pdf}\n}\n","author_short":["Bauer, A.","Hofmann, M.","Karbyshev, A."],"editor_short":["Hinze, R."],"key":"Bauer12Parametricity","id":"Bauer12Parametricity","bibbaseid":"bauer-hofmann-karbyshev-onmonadicparametricityofsecondorderfunctionals-2012","role":"author","urls":{},"downloads":0},"search_terms":["monadic","parametricity","second","order","functionals","bauer","hofmann","karbyshev"],"keywords":[],"authorIDs":[],"dataSources":["ubxGc3JFsEBjciN45"]}