Dreyer, Derek; Neis, Georg; Birkedal, Lars The impact of higher-order state and control effects on local relational reasoning. (English) Zbl 1323.68203 Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 143-156 (2010). Cited in 10 Documents MSC: 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 68N18 Functional programming and lambda calculus 68Q55 Semantics in the theory of computing 68Q60 Specification and verification (program logics, model checking, etc.) Keywords:biorthogonality; exceptions; first-class continuations; higher-order state; local state; observational equivalence; state transition systems; step-indexed Kripke logical relations Software:Haskell PDFBibTeX XMLCite \textit{D. Dreyer} et al., in: Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP '10, Baltimore, MD, USA, September 27--29, 2010. New York, NY: Association for Computing Machinery (ACM). 143--156 (2010; Zbl 1323.68203) Full Text: DOI