Linearly-Used State in Models of Call-by-Value
From MaRDI portal
Publication:3090876
DOI10.1007/978-3-642-22944-2_21zbMath1344.68040OpenAlexW1821574096MaRDI QIDQ3090876
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
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) 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)
Related Items
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