Normalization by evaluation and algebraic effects
From MaRDI portal
Publication:265792
DOI10.1016/j.entcs.2013.09.007zbMath1334.68046OpenAlexW1983128619WikidataQ113317969 ScholiaQ113317969MaRDI QIDQ265792
Publication date: 12 April 2016
Full work available at URL: https://doi.org/10.1016/j.entcs.2013.09.007
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notions of computation and monads
- Sheaves in geometry and logic: a first introduction to topos theory
- Modelling environments in call-by-value programming languages.
- Algebraic operations and generic effects
- Free-algebra models for the \(\pi \)-calculus
- Combining effects: sum and tensor
- Algebraic foundations for effect-dependent optimisations
- Coproducts of Monads on Set
- Structural recursion with locally scoped names
- Encyclopedia of Parallel Computing
- Linearly-Used State in Models of Call-by-Value
- Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
- Alpha-structural recursion and induction
- Handlers of Algebraic Effects
- Normalization and the Yoneda embedding
- Premonoidal categories and notions of computation
- Setoids in type theory
- Coproducts of Ideal Monads
- An Algebraic Presentation of Predicate Logic
- Categorical reconstruction of a reduction free normalization proof
- Handlers in action
- Instances of Computational Effects: An Algebraic Perspective
- Functional and Logic Programming
- Typed Lambda Calculi and Applications
This page was built for publication: Normalization by evaluation and algebraic effects
