scientific article; zbMATH DE number 1479618
From MaRDI portal
Publication:4490731
zbMath0942.68544MaRDI QIDQ4490731
Matthias Felleisen, Robert Cartwright
Publication date: 20 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (9)
Evolution of rule-based programs ⋮ Modular structural operational semantics ⋮ Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics ⋮ Constructing language processors with algebra combinators ⋮ Galois connecting call-by-value and call-by-name ⋮ On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Not by equations alone: Reasoning with extensible effects
This page was built for publication:
