Environmental bisimulations for delimited-control operators with dynamic prompt generation

DOI10.23638/LMCS-13(3:27)2017MaRDI QIDQ5367066zbMATH OpenFDO

Authors Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Publication date 12 October 2017

Full work available at URL https://arxiv.org/abs/1611.09626

zbMATH Keywords

contextual equivalencedelimited continuationdynamic prompt generationenvironmental bisimulationup-to technique

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Environmental bisimulations for delimited-control operators with dynamic prompt generation
• Environmental bisimulations for delimited-control operators
• Bisimulations for delimited-control operators
• Applicative bisimulations for delimited-control operators
• Normal form bisimulations for delimited-control operators

Cited in

(7)

• Diacritical companions
• Complete trace models of state and control
• Bisimulation and coinduction enhancements: a historical perspective
• Environmental bisimulations for delimited-control operators
• Environmental bisimulations for delimited-control operators with dynamic prompt generation
• Bisimulations for delimited-control operators
• A complete normal-form bisimilarity for algebraic effects and handlers

This page was built for publication: Environmental bisimulations for delimited-control operators with dynamic prompt generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5367066)