Higher-order asynchronous effects
type: Item
instance of: scholarly article
title: Higher-order asynchronous effects
author: Danel Ahman
author: Matija Pretnar
published in: Logical Methods in Computer Science
publication date: 2024-11-12T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7941270
zbMATH Keywords: algebraic effects
zbMATH Keywords: asynchrony
zbMATH Keywords: concurrency
zbMATH Keywords: interrupt handling
zbMATH Keywords: signals
zbMATH Keywords: promises
MaRDI profile type: MaRDI publication profile
cites work: Runners in Action
cites work: Q4222034
cites work: Abstract effects and proof-relevant logical relations
cites work: An effect system for algebraic effects and handlers
cites work: Programming with algebraic effects and handlers
cites work: Doo bee doo bee doo
cites work: Fitch-style modal lambda calculi
cites work: Continuous Lattices and Domains
cites work: Combining effects: sum and tensor
cites work: Handlers in action
cites work: Algebraic foundations for effect-dependent optimisations
cites work: Higher-order functional reactive programming without spacetime leaks
cites work: Do be do be do
cites work: Modelling environments in call-by-value programming languages.
cites work: Typed Lambda Calculi and Applications
cites work: A calculus of communicating systems
cites work: A calculus of mobile processes. I
cites work: Q4738236
cites work: Algebraic operations and generic effects
cites work: Handling algebraic effects
cites work: An introduction to algebraic effects and handlers (invited tutorial paper)
cites work: Syntax and semantics for operations with scopes
cites work: Instances of computational effects: an algebraic perspective
cites work: Algebraic effects, linearity, and quantum programming languages
cites work: A syntactic approach to type soundness
DOI: 10.46298/LMCS-20(3:26)2024
Recommended article: Programming with algebraic effects and handlers
Recommended article: Handling algebraic effects
Recommended article: One-shot algebraic effects as coroutines
Recommended article: Handlers of Algebraic Effects
Recommended article: An effect system for algebraic effects and handlers
copyright license: Creative Commons Attribution 4.0 International
description: scientific article; zbMATH DE number 7941270