scientific article

zbMath0986.68055MaRDI QIDQ2771052

A. John Power, Gordon D. Plotkin

Publication date: 14 February 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

functional programming languagecomputational \(\lambda\)-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items

Modular structural operational semantics, On bisimilarity in lambda calculi with continuous probabilistic choice, Quantitative logics for equivalence of effectful programs, Combining algebraic effect descriptions using the tensor of complete lattices, Synthetic topology in Homotopy Type Theory for probabilistic programming, Lawvere theories enriched over a general base, The costructure–cosemantics adjunction for comodels for computational effects, String diagram rewrite theory II: Rewriting with symmetric monoidal structure, Generic models for computational effects, Discrete Lawvere theories and computational effects, Semantics of higher-order quantum computation via geometry of interaction, Combining algebraic effects with continuations, On the relations between monadic semantics, Generic weakest precondition semantics from monads enriched with order, Streams of approximations, equivalence of recursive effectful programs, Smart Choices and the Selection Monad, Effect handlers via generalised continuations, Doo bee doo bee doo, The order-K-ification monads, Algebraic effects for extensible dynamic semantics, Runners for interleaving algebraic effects, Graded algebraic theories, Local algebraic effect theories, Unnamed Item, An introduction to algebraic effects and handlers (invited tutorial paper), Unnamed Item, Intuitionistic fixed point logic, Programming with algebraic effects and handlers, Complete Elgot monads and coalgebraic resumptions, Effectful applicative similarity for call-by-name lambda calculi, Infinite trace equivalence, Semantics for Algebraic Operations, Tensors of Comodels and Models for Operational Semantics, Towards Effects in Mathematical Operational Semantics, Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness, Explicit Fair Scheduling for Dynamic Control, Combining effects: sum and tensor, A metalanguage for guarded iteration, Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular, Continuation passing style for effect handlers, The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads