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

test_moissonnage_selune
type: Agent

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