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).
This article has been cited by the following article(s):
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, 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