Effect Systems Revisited—Control-Flow Algebra and Semantics

DOI10.1007/978-3-319-27810-0_1zbMath1474.68058DBLPconf/birthday/MycroftOP16OpenAlexW2293797630WikidataQ59505538 ScholiaQ59505538MaRDI QIDQ2796214

Tomas Petricek, Alan Mycroft, Dominic A. Orchard

Publication date: 23 March 2016

Published in: Semantics, Logics, and Calculi (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-27810-0_1

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Flexibly graded monads and graded algebras ⋮ Unnamed Item

This page was built for publication: Effect Systems Revisited—Control-Flow Algebra and Semantics