31 citations · 39 across the 11 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.PL2013
Environmental Bisimulations for Delimited-Control Operators
Dariusz Biernacki, Sergueï Lenglet
We present a theory of environmental bisimilarity for the delimited-control operators {\it shift} and {\it reset}. We consider two different notions of contextual equivalence: one…
cs.PL2013★ 2 cited
Proving termination of evaluation for System F with control operators
Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet +1
We present new proofs of termination of evaluation in reduction semantics (i.e., a small-step operational semantics with explicit representation of evaluation contexts) for System…