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