Linear usage of state

DOI10.2168/LMCS-10(1:17)2014zbMath1326.68070arXiv1403.1477OpenAlexW2050628956MaRDI QIDQ5408192

Rasmus Ejlers Møgelberg, Sam Staton

Publication date: 9 April 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1403.1477

zbMATH Keywords

monadscategorical semanticscomputational effectsenriched category theorylinear type theorystate passing translation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Categorical semantics of formal languages (18C50) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (11)

Stream processors and comodels ⋮ Runners in Action ⋮ Classical control and quantum circuits in enriched category theory ⋮ The costructure–cosemantics adjunction for comodels for computational effects ⋮ LNL polycategories and doctrines of linear logic ⋮ Promonads and String Diagrams for Effectful Categories ⋮ Sweedler theory of monads ⋮ Sound and complete equational reasoning over comodels ⋮ Commutative Semantics for Probabilistic Programming ⋮ Unnamed Item ⋮ Stateful runners of effectful computations

Uses Software

• Mercury

This page was built for publication: Linear usage of state