scientific article; zbMATH DE number 2090722
From MaRDI portal
Publication:4813222
zbMath1065.68064MaRDI QIDQ4813222
No author found.
Publication date: 13 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2395/23950042.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Categorical semantics of formal languages (18C50) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items (19)
Counting Successes: Effects and Transformations for Non-deterministic Programs ⋮ Combining algebraic effects with continuations ⋮ Monad transformers as monoid transformers ⋮ Generic weakest precondition semantics from monads enriched with order ⋮ From semantics to types: the case of the imperative \(\lambda\)-calculus ⋮ Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces ⋮ Interleaving data and effects ⋮ The untyped computational \(\lambda \)-calculus and its intersection type discipline ⋮ Programming with algebraic effects and handlers ⋮ Relating Computational Effects by ⊤ ⊤-Lifting ⋮ Modules over monads and initial semantics ⋮ Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language ⋮ Reasoning about conditional probabilities in a higher-order-logic theorem prover ⋮ Combining effects: sum and tensor ⋮ A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language ⋮ A functional correspondence between monadic evaluators and abstract machines for languages with computational effects ⋮ Trace semantics via determinization ⋮ Comonadic Notions of Computation ⋮ On reduction and normalization in the computational core
Uses Software
This page was built for publication:
