Effect Polymorphism in Higher-Order Logic (Proof Pearl)

Thumbnail
Metadata only
Author
Lochbihler, Andreas
Date
2018-08
Type
    Journal Article
Publication status
published
External links
Journal / series
Journal of Automated Reasoning
Volume
63(2)
Pages / Article No.
439 - 462
Publisher
Springer
Subject
Monad; Monad transformer; Effects; Polymorphism; Equational reasoning; Isabelle/HOL
Organisational unit
03634 - Basin, David / Basin, David  
Funding
153217 - Formalising Computational Soundness for Protocol Implementations (SNF)
More
Show all metadata
ETH Bibliography
yes
Altmetrics