Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Biernacka, Małgorzata
and
Danvy, Olivier
2009.
Semantics and Algebraic Specification.
Vol. 5700,
Issue. ,
p.
186.
Fokker, Jeroen
and
Swierstra, S. Doaitse
2009.
Abstract Interpretation of Functional Programs using an Attribute Grammar System.
Electronic Notes in Theoretical Computer Science,
Vol. 238,
Issue. 5,
p.
117.
Danvy, Olivier
2009.
Advanced Functional Programming.
Vol. 5832,
Issue. ,
p.
66.
DE LA ENCINA, ALBERTO
and
PEÑA, RICARDO
2009.
From natural semantics to C: A formal derivation of two STG machines.
Journal of Functional Programming,
Vol. 19,
Issue. 1,
p.
47.
Rochel, Jan
2010.
Implementation and Application of Functional Languages.
Vol. 6041,
Issue. ,
p.
198.
Danvy, Olivier
and
Johannsen, Jacob
2010.
Inter-deriving semantic artifacts for object-oriented programming.
Journal of Computer and System Sciences,
Vol. 76,
Issue. 5,
p.
302.
Boespflug, Mathieu
2010.
Practical Aspects of Declarative Languages.
Vol. 5937,
Issue. ,
p.
58.
Buisson, Jérémy
and
Dagnat, Fabien
2010.
ReCaml.
ACM SIGPLAN Notices,
Vol. 45,
Issue. 9,
p.
27.
Buisson, Jérémy
and
Dagnat, Fabien
2010.
ReCaml.
p.
27.
Liu, Hai
Glew, Neal
Petersen, Leaf
and
Anderson, Todd A.
2013.
The Intel labs Haskell research compiler.
p.
105.
Mainland, Geoffrey
Leshchinskiy, Roman
and
Peyton Jones, Simon
2013.
Exploiting vector instructions with generalized stream fusion.
ACM SIGPLAN Notices,
Vol. 48,
Issue. 9,
p.
37.
Jedynak, Wojciech
Biernacka, Małgorzata
and
Biernacki, Dariusz
2013.
An operational foundation for the tactic language of Coq.
p.
25.
Mainland, Geoffrey
Leshchinskiy, Roman
and
Peyton Jones, Simon
2013.
Exploiting vector instructions with generalized stream fusion.
p.
37.
Sergey, Ilya
Vytiniotis, Dimitrios
and
Peyton Jones, Simon
2014.
Modular, higher-order cardinality analysis in theory and practice.
p.
335.
Liu, Hai
Glew, Neal
Petersen, Leaf
and
Anderson, Todd A.
2014.
The Intel labs Haskell research compiler.
ACM SIGPLAN Notices,
Vol. 48,
Issue. 12,
p.
105.
Sergey, Ilya
Vytiniotis, Dimitrios
and
Peyton Jones, Simon
2014.
Modular, higher-order cardinality analysis in theory and practice.
ACM SIGPLAN Notices,
Vol. 49,
Issue. 1,
p.
335.
Breitner, Joachim
2015.
Trends in Functional Programming.
Vol. 8843,
Issue. ,
p.
34.
Breitner, Joachim
2015.
Formally proving a compiler transformation safe.
p.
35.
Newton, Ryan R.
Fogg, Peter P.
and
Varamesh, Ali
2015.
Adaptive lock-free maps: purely-functional to scalable.
ACM SIGPLAN Notices,
Vol. 50,
Issue. 9,
p.
218.
Newton, Ryan R.
Fogg, Peter P.
and
Varamesh, Ali
2015.
Adaptive lock-free maps: purely-functional to scalable.
p.
218.
Discussions
No Discussions have been published for this article.