Publication:5367066
From MaRDI portal
DOI10.23638/LMCS-13(3:27)2017zbMath1421.68009arXiv1611.09626MaRDI QIDQ5367066
Andrés Aristizábal, Piotr Polesiuk, Dariusz Biernacki, Sergueï Lenglet
Publication date: 12 October 2017
Full work available at URL: https://arxiv.org/abs/1611.09626
contextual equivalence; delimited continuation; environmental bisimulation; up-to technique; dynamic prompt generation
68N18: Functional programming and lambda calculus
Related Items
Unnamed Item, Diacritical companions, Complete trace models of state and control, Bisimulation and coinduction enhancements: a historical perspective