Semantics of value recursion for Monadic Input/Output

DOI10.1051/ITA:2002008MaRDI QIDQ4787832zbMATH OpenOpenAlexFDO

Authors Levent Erkök, John Launchbury, Andrew Moran

Publication date 22 January 2003

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=ITA_2002__36_2_155_0, https://eudml.org/doc/92695, https://semanticscholar.org/paper/b31178eb062b35142ec767398da06f1a78d695e2

zbMATH Keywords

monadstransition semantics

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• An abstract monadic semantics for value recursion
• Recursive monadic bindings
• Generic Hoare logic for order-enriched effects with exceptions
• scientific article; zbMATH DE number 2090722
• Monads in action

Cites work

• scientific article; zbMATH DE number 1691463 (Why is no real title available?)
• scientific article; zbMATH DE number 2185716 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1088036 (Why is no real title available?)
• scientific article; zbMATH DE number 819768 (Why is no real title available?)
• scientific article; zbMATH DE number 1393359 (Why is no real title available?)
• A new notation for arrows
• Deriving a lazy abstract machine
• Equivalence in functional languages with effects
• Generalising monads to arrows
• Notions of computation and monads
• Parametric polymorphism and operational equivalence
• Premonoidal categories and notions of computation
• Recursive monadic bindings
• Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
• The revised report on the syntactic theories of sequential control and state
• Traced Premonoidal Categories
• Traced monoidal categories

Cited in

(6)

• scientific article; zbMATH DE number 1406087 (Why is no real title available?)
• An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
• Shortcut fusion rules for the derivation of circular and higher-order programs
• Recursive monadic bindings
• Traced Premonoidal Categories
• An abstract monadic semantics for value recursion

Describes a project that uses

Uses Software

• Lava
• Haskell

This page was built for publication: Semantics of value recursion for Monadic Input/Output

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