Environmental Bisimulations for Delimited-Control Operators
type: Distribution
access URL: https://inria.hal.science/hal-00862189
format: HTML
issued: 2026-05-09T17:55:37.957977
modified: 2026-05-09T17:55:37.948812

test_moissonnage_selune
type: Agent

Environmental Bisimulations for Delimited-Control Operators
type: Dataset
contact point: Organization
  fn: CCSD
keyword: infoinfo-plcomputer-science-csprogramming-languages-cspl
keyword: environmental-bisimulations
keyword: infoeu-reposemanticspreprint
keyword: delimited-control
keyword: infoinfo-flcomputer-science-csformal-languages-and-automata-theory-csfl
keyword: preprints-working-papers-
keyword: up-to-techniques
landing page: https://inria.hal.science/hal-00862189
description: Long version of the corresponding APLAS13 paper
issued: 2026-05-09T17:55:37.956866
language: en
modified: 2026-05-09T17:55:37.956870