activity
20052022
most citedAn Operational Foundation for Delimited Continuations in the CPS Hierarchy

31 citations · 39 across the 11 of their papers we have counts for

collaborators
Showing 2012Show all

2 papers · 1 filter

cs.PL2012★ 2 cited

Normal Form Bisimulations for Delimited-Control Operators

Dariusz Biernacki, Serguei Lenglet

We define a notion of normal form bisimilarity for the untyped call-by-value lambda calculus extended with the delimited-control operators shift and reset. Normal form bisimilariti…

cs.PL2012

Applicative Bisimulations for Delimited-Control Operators

Dariusz Biernacki, Serguei Lenglet

We develop a behavioral theory for the untyped call-by-value lambda calculus extended with the delimited-control operators shift and reset. For this calculus, we discuss the possib…