scientific article; zbMATH DE number 7559296

DOI10.4230/LIPIcs.FSCD.2019.30MaRDI QIDQ5089033

Filip Sieczkowski, Piotr Polesiuk, Maciej Piróg

Publication date: 18 July 2022

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

zbMATH Keywords

algebraic effectsdelimited controltype-and-effect systemsmacro expressibility

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Related Items (2)

A Functional Abstraction of Typed Invocation Contexts ⋮ Understanding algebraic effect handlers via delimited control operators

Cites Work

• Unnamed Item
• Unnamed Item
• On typing delimited continuations: Three new solutions to the printf problem
• On the expressive power of programming languages
• The type and effect discipline
• A syntactic approach to type soundness
• A static simulation of dynamic delimited control
• Practical Foundations for Programming Languages
• Handling Algebraic Effects
• Guarded recursive datatype constructors
• Comprehending monads
• Type directed compilation of row-typed algebraic effects
• Shallow effect handlers

This page was built for publication: