Formal verification of monad transformers
From MaRDI portal
Publication:5168878
DOI10.1145/2364527.2364532zbMath1291.68145arXiv1207.3208OpenAlexW2030163690MaRDI QIDQ5168878
Publication date: 21 July 2014
Published in: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1207.3208
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Effect polymorphism in higher-order logic (proof pearl) ⋮ Effect polymorphism in higher-order logic (proof pearl) ⋮ Tycon
Uses Software
This page was built for publication: Formal verification of monad transformers