scientific article; zbMATH DE number 2120508
From MaRDI portal
Publication:4829806
zbMath1070.68017MaRDI QIDQ4829806
Publication date: 1 December 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Algebraic theory of languages and automata (68Q70) Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Related Items (22)
Runners in Action ⋮ Classical control and quantum circuits in enriched category theory ⋮ A Nominal Relational Model for Local Store ⋮ Combining algebraic effects with continuations ⋮ Structural Focalization ⋮ Unnamed Item ⋮ Denotational semantics as a foundation for cost recurrence extraction for functional languages ⋮ Understanding algebraic effect handlers via delimited control operators ⋮ Doo bee doo bee doo ⋮ Structured handling of scoped effects ⋮ An algebraic theory for shared-state concurrency ⋮ Unnamed Item ⋮ Reverse AD at higher types: pure, principled and denotationally correct ⋮ Infinite trace equivalence ⋮ The bang calculus revisited ⋮ Call-By-Push-Value from a Linear Logic Point of View ⋮ The bang calculus revisited ⋮ Unnamed Item ⋮ Dependent Types and Fibred Computational Effects ⋮ Lambda calculus with algebraic simplification for reduction parallelisation: Extended study ⋮ Relational Parametricity for Control Considered as a Computational Effect ⋮ Gradual type theory
This page was built for publication:
