Publication:5367066
From MaRDI portal
DOI10.23638/LMCS-13(3:27)2017zbMath1421.68009arXiv1611.09626MaRDI QIDQ5367066
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Andrés Aristizábal
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