31 citations · 39 across the 11 of their papers we have counts for
1 paper · 1 filter
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet +1
We present sound and complete environmental bisimilarities for a variant of Dybvig et al.'s calculus of multi-prompted delimited-control operators with dynamic prompt generation. T…