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

DOI10.1007/978-3-642-22944-2_21zbMATH Open1344.68040OpenAlexW1821574096MaRDI QIDQ3090876FDOQ3090876

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

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

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)

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)