Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
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.
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.
Biernacka, Małgorzata
and
Danvy, Olivier
2009.
Semantics and Algebraic Specification.
Vol. 5700,
Issue. ,
p.
186.
Danvy, Olivier
2009.
Advanced Functional Programming.
Vol. 5832,
Issue. ,
p.
66.
Buisson, Jérémy
and
Dagnat, Fabien
2010.
ReCaml.
ACM SIGPLAN Notices,
Vol. 45,
Issue. 9,
p.
27.
Rochel, Jan
2010.
Implementation and Application of Functional Languages.
Vol. 6041,
Issue. ,
p.
198.
Buisson, Jérémy
and
Dagnat, Fabien
2010.
ReCaml.
p.
27.
Boespflug, Mathieu
2010.
Practical Aspects of Declarative Languages.
Vol. 5937,
Issue. ,
p.
58.
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.
Mainland, Geoffrey
Leshchinskiy, Roman
and
Peyton Jones, Simon
2013.
Exploiting vector instructions with generalized stream fusion.
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.
ACM SIGPLAN Notices,
Vol. 48,
Issue. 9,
p.
37.
Liu, Hai
Glew, Neal
Petersen, Leaf
and
Anderson, Todd A.
2013.
The Intel labs Haskell research compiler.
p.
105.
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.
Sergey, Ilya
Vytiniotis, Dimitrios
and
Peyton Jones, Simon
2014.
Modular, higher-order cardinality analysis in theory and practice.
p.
335.
Breitner, Joachim
2015.
Trends in Functional Programming.
Vol. 8843,
Issue. ,
p.
34.
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.
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.
p.
218.
Discussions
No Discussions have been published for this article.