Handling local state with global state

DOI10.1007/978-3-030-33636-3_2zbMath1434.68093OpenAlexW2981272340MaRDI QIDQ2176670

Shin-Cheng Mu, Koen Pauwels, Tom Schrijvers

Publication date: 5 May 2020

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/646136

zbMATH Keywords

stateequational reasoningmonadsnondeterminismcontextual equivalenceeffect handlers

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Towards a practical library for monadic equational reasoning in Coq ⋮ Declarative pearl: deriving monadic quicksort

This page was built for publication: Handling local state with global state