Linearly-used state in models of call-by-value

DOI10.1007/978-3-642-22944-2_21MaRDI QIDQ3090876zbMATH OpenOpenAlexFDO

Authors Rasmus Ejlers Møgelberg, Sam Staton

Publication date 2 September 2011

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22944-2_21

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Functional programming and lambda calculus (68N18)

Recommendations

• Linear usage of state
• Linearly-Used Continuations in the Enriched Effect Calculus
• Enriching an Effect Calculus with Linear Types
• The enriched effect calculus: syntax and semantics
• scientific article; zbMATH DE number 1942458

Cited in

(5)

• Normalization by evaluation and algebraic effects
• Freyd categories are enriched Lawvere theories
• From global to local state, coalgebraically and compositionally
• Initial algebras of terms with binding and algebraic structure
• Linear usage of state

This page was built for publication: Linearly-used state in models of call-by-value

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3090876)