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:

An abstract monadic semantics for value recursion

Eugenio Moggi, Amr Sabry

RAIRO-Theor. Inf. Appl., 38 4 (2004) 375-400

Published online: 2004-10-15

DOI: https://doi.org/10.1051/ita:2004018

This article has been cited by the following article(s):

François Pottier
147 (2011)
https://doi.org/10.1145/1926385.1926403

A typed store-passing translation for general references

François Pottier
ACM SIGPLAN Notices 46 (1) 147 (2011)
https://doi.org/10.1145/1925844.1926403

Ronald Garcia, Andrew Lumsdaine and Amr Sabry
153 (2009)
https://doi.org/10.1145/1480881.1480903

Lazy evaluation and delimited control

Ronald Garcia, Andrew Lumsdaine and Amr Sabry
ACM SIGPLAN Notices 44 (1) 153 (2009)
https://doi.org/10.1145/1594834.1480903

Compilation of extended recursion in call-by-value functional languages

Tom Hirschowitz, Xavier Leroy and J. B. Wells
Higher-Order and Symbolic Computation 22 (1) 3 (2009)
https://doi.org/10.1007/s10990-009-9042-z

Comonadic Notions of Computation

Tarmo Uustalu and Varmo Vene
Electronic Notes in Theoretical Computer Science 203 (5) 263 (2008)
https://doi.org/10.1016/j.entcs.2008.05.029

Structuring Operational Semantics: Simplification and Computation

Eugenio Moggi
Electronic Notes in Theoretical Computer Science 172 479 (2007)
https://doi.org/10.1016/j.entcs.2007.02.016