EDP Sciences logo
Subscriber Authentication Point
Search
Menu
All issues RAIRO-Theor. Inf. Appl., 39 3 (2005) 423-453 Article references

Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

A General Fine-Grained Reduction Theory for Effect Handlers

Filip Sieczkowski, Mateusz Pyzik and Dariusz Biernacki
Proceedings of the ACM on Programming Languages 7 (ICFP) 511 (2023)
https://doi.org/10.1145/3607848

A simple and efficient implementation of strong call by need by an abstract machine

Małgorzata Biernacka, Witold Charatonik and Tomasz Drab
Proceedings of the ACM on Programming Languages 6 (ICFP) 109 (2022)
https://doi.org/10.1145/3549822

Programming Languages and Systems

Małgorzata Biernacka, Dariusz Biernacki, Witold Charatonik and Tomasz Drab
Lecture Notes in Computer Science, Programming Languages and Systems 12470 147 (2020)
https://doi.org/10.1007/978-3-030-64437-6_8

Foundations of Software Science and Computation Structures

Pierre Clairambault and Peter Dybjer
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures 9034 56 (2015)
https://doi.org/10.1007/978-3-662-46678-0_4

Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation

Peter Dybjer and Denis Kuperberg
Annals of Pure and Applied Logic 163 (2) 122 (2012)
https://doi.org/10.1016/j.apal.2011.06.021