Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Benton, Nick
Kennedy, Andrew
Beringer, Lennart
and
Hofmann, Martin
2007.
Relational semantics for effect-based program transformations with dynamic allocation.
p.
87.
Charguéraud, Arthur
and
Pottier, François
2008.
Functional translation of a calculus of capabilities.
ACM SIGPLAN Notices,
Vol. 43,
Issue. 9,
p.
213.
Charguéraud, Arthur
and
Pottier, François
2008.
Functional translation of a calculus of capabilities.
p.
213.
Bieniusa, Annette
and
Thiemann, Peter
2009.
Compiler Construction.
Vol. 5501,
Issue. ,
p.
266.
KAMEYAMA, YUKIYOSHI
KISELYOV, OLEG
and
SHAN, CHUNG-CHIEH
2011.
Shifting the stage.
Journal of Functional Programming,
Vol. 21,
Issue. 6,
p.
617.
Yang, Edward Z.
and
Mazières, David
2014.
Dynamic space limits for Haskell.
ACM SIGPLAN Notices,
Vol. 49,
Issue. 6,
p.
588.
Yang, Edward Z.
and
Mazières, David
2014.
Dynamic space limits for Haskell.
p.
588.
Kameyama, Yukiyoshi
Kiselyov, Oleg
and
Shan, Chung-chieh
2015.
Combinators for impure yet hygienic code generation.
Science of Computer Programming,
Vol. 112,
Issue. ,
p.
120.
Kiselyov, Oleg
and
Ishii, Hiromi
2015.
Freer monads, more extensible effects.
p.
94.
Kiselyov, Oleg
Kameyama, Yukiyoshi
and
Sudo, Yuto
2016.
Programming Languages and Systems.
Vol. 10017,
Issue. ,
p.
271.
Kiselyov, Oleg
and
Ishii, Hiromi
2016.
Freer monads, more extensible effects.
ACM SIGPLAN Notices,
Vol. 50,
Issue. 12,
p.
94.
Bowman, William J.
2024.
A Low-Level Look at A-Normal Form.
Proceedings of the ACM on Programming Languages,
Vol. 8,
Issue. OOPSLA2,
p.
165.
Discussions
No Discussions have been published for this article.