On Monadic Parametricity of Second-Order Functionals.

Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev

Browse the full FOSSACS paper archive.