Login / Signup

Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation.

Andrés AristizábalDariusz BiernackiSergueï LengletPiotr Polesiuk
Published in: FSCD (2016)
Keyphrases