@techreport{aristizabal:hal-01305137, TITLE = {{Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation}}, AUTHOR = {Aristiz{\'a}bal, Andr{\'e}s and Biernacki, Dariusz and Lenglet, Sergue{\"i} and Polesiuk, Piotr}, URL = {https://inria.hal.science/hal-01305137}, TYPE = {Research Report}, NUMBER = {RR-8905}, INSTITUTION = {{Inria}}, YEAR = {2016}, MONTH = Nov, KEYWORDS = { dynamic prompt generation ; contextual equivalence ; Delimited continuation ; environmental bisimulation ; up-to technique}, PDF = {https://inria.hal.science/hal-01305137v4/file/RR-8905v2.pdf}, HAL_ID = {hal-01305137}, HAL_VERSION = {v4}, }