On monadic parametricity of second-order functionals

DOI10.1007/978-3-642-37075-5_15MaRDI QIDQ4910422zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• What is a pure functional?
• Formal parametric polymorphism
• Parametric effect monads and semantics of effect systems
• Parametric polymorphism and operational equivalence
• Relational Parametricity for Computational Effects

Cited in

(5)

• Incremental Abstract Interpretation
• What is a pure functional?
• Extensional equality preservation and verified generic programming
• Three improvements to the top-down solver
• A representation theorem for second-order functionals

Describes a project that uses

Uses Software

• Coq

This page was built for publication: On monadic parametricity of second-order functionals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4910422)