Title: Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
Authors: Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet and Piotr Polesiuk
Journal: 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016(), Wydawca:Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik
Publication type: conference