Environmental Bisimulations for Delimited-Control Operators-Reference-Cited by-同舟云学术

Environmental Bisimulations for Delimited-Control Operators

Published:2013 Issue: Volume: Page:333-348
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Biernacki Dariusz,Lenglet Sergueï

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-03542-0_24

Reference24 articles.

1. Lecture Notes in Computer Science;K. Asai,2007

2. Balat, V., Cosmo, R.D., Fiore, M.P.: Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. In: Leroy, X. (ed.) POPL 2004, Venice, Italy. SIGPLAN Notices, vol. 39(1), pp. 64–76. ACM Press (2004)

3. Biernacka, M., Biernacki, D., Danvy, O.: An operational foundation for delimited continuations in the CPS hierarchy. Logical Methods in Computer Science 1(2:5), 1–39 (2005)

4. Lecture Notes in Computer Science;D. Biernacki,2012

5. Lecture Notes in Computer Science;D. Biernacki,2012

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Complete trace models of state and control;Programming Languages and Systems;2021

2. Environmental Bisimulations for Probabilistic Higher-order Languages;ACM Transactions on Programming Languages and Systems;2019-12-31

3. BISIMULATIONS FOR DELIMITED-CONTROL OPERATORS;LOG METH COMPUT SCI;2019

4. Environmental bisimulations for probabilistic higher-order languages;ACM SIGPLAN Notices;2016-04-08

5. Environmental bisimulations for probabilistic higher-order languages;Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2016-01-11