On Monadic Parametricity of Second-Order Functionals

DOI10.1007/978-3-642-37075-5_15zbMath1260.68071OpenAlexW35195178MaRDI QIDQ4910422

Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev

Publication date: 18 March 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37075-5_15

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (4)

Three improvements to the top-down solver ⋮ A representation theorem for second-order functionals ⋮ Incremental Abstract Interpretation ⋮ Enforcing termination of interprocedural analysis

Uses Software

• Coq

This page was built for publication: On Monadic Parametricity of Second-Order Functionals