Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Benton, Nick
Hughes, John
and
Moggi, Eugenio
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
42.
Lindley, Sam
and
Stark, Ian
2005.
Typed Lambda Calculi and Applications.
Vol. 3461,
Issue. ,
p.
262.
Levy, Paul Blain
2006.
Monads and Adjunctions for Global Exceptions.
Electronic Notes in Theoretical Computer Science,
Vol. 158,
Issue. ,
p.
261.
Benton, Nick
and
Buchlovsky, Peter
2007.
Semantics of an effect analysis for exceptions.
p.
15.
Kennedy, Andrew
2007.
Compiling with continuations, continued.
ACM SIGPLAN Notices,
Vol. 42,
Issue. 9,
p.
177.
Kennedy, Andrew
2007.
Compiling with continuations, continued.
p.
177.
Vouillon, Jérôme
2008.
Lwt.
p.
3.
Nanevski, Aleksandar
Morrisett, Greg
Shinnar, Avraham
Govereau, Paul
and
Birkedal, Lars
2008.
Ynot.
p.
229.
Blume, Matthias
Acar, Umut A.
and
Chae, Wonseok
2008.
Programming Languages and Systems.
Vol. 5356,
Issue. ,
p.
273.
Nanevski, Aleksandar
Morrisett, Greg
Shinnar, Avraham
Govereau, Paul
and
Birkedal, Lars
2008.
Ynot.
ACM SIGPLAN Notices,
Vol. 43,
Issue. 9,
p.
229.
Plotkin, Gordon
and
Pretnar, Matija
2008.
A Logic for Algebraic Effects.
p.
118.
Plotkin, Gordon
and
Pretnar, Matija
2009.
Programming Languages and Systems.
Vol. 5502,
Issue. ,
p.
80.
Norrish, Michael
2009.
Rewriting Conversions Implemented with Continuations.
Journal of Automated Reasoning,
Vol. 43,
Issue. 3,
p.
305.
Koutavas, Vasileios
Levy, Paul Blain
and
Sumii, Eijiro
2011.
From Applicative to Environmental Bisimulation.
Electronic Notes in Theoretical Computer Science,
Vol. 276,
Issue. ,
p.
215.
Day, Laurence E.
and
Hutton, Graham
2013.
Compilation à la Carte.
p.
13.
Kammar, Ohad
Lindley, Sam
and
Oury, Nicolas
2013.
Handlers in action.
p.
145.
Kammar, Ohad
Lindley, Sam
and
Oury, Nicolas
2013.
Handlers in action.
ACM SIGPLAN Notices,
Vol. 48,
Issue. 9,
p.
145.
Fiore, Marcelo
and
Staton, Sam
2014.
Substitution, jumps, and algebraic effects.
p.
1.
New, Max S.
Bowman, William J.
and
Ahmed, Amal
2016.
Fully abstract compilation via universal embedding.
ACM SIGPLAN Notices,
Vol. 51,
Issue. 9,
p.
103.
Curien, Pierre-Louis
Fiore, Marcelo
and
Munch-Maccagnoni, Guillaume
2016.
A theory of effects and resources: adjunction models and polarised calculi.
p.
44.
Discussions
No Discussions have been published for this article.