Linear usage of state

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

Sam Staton, Rasmus Ejlers Møgelberg

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

monads; categorical semantics; computational effects; enriched category theory; linear type theory; state passing translation

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

18C50: Categorical semantics of formal languages

03F52: Proof-theoretic aspects of linear logic and other substructural logics

18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads

Uses Software

• Mercury