Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Frisby, Nicolas
2008.
Unifying Analysis Tools with Rosetta.
p.
505.
Voigtländer, Janis
2008.
Mathematics of Program Construction.
Vol. 5133,
Issue. ,
p.
388.
Kariotis, Pericles S.
Procter, Adam M.
and
Harrison, William L.
2008.
Making monads first-class with template haskell.
p.
99.
Oliveira, Bruno C. d. S.
2009.
ECOOP 2009 – Object-Oriented Programming.
Vol. 5653,
Issue. ,
p.
269.
Kariotis, Pericles S.
Procter, Adam M.
and
Harrison, William L.
2009.
Making monads first-class with template haskell.
ACM SIGPLAN Notices,
Vol. 44,
Issue. 2,
p.
99.
Voigtländer, Janis
2009.
Free theorems involving type constructor classes.
p.
173.
Wang, Meng
and
Oliveira, Bruno C. d. S.
2009.
What does aspect-oriented programming mean for functional programmers?.
p.
37.
Voigtländer, Janis
2009.
Free theorems involving type constructor classes.
ACM SIGPLAN Notices,
Vol. 44,
Issue. 9,
p.
173.
Visser, Sebastiaan
and
Löh, Andres
2010.
Generic storage in Haskell.
p.
25.
Morris, J. Garrett
and
Jones, Mark P.
2010.
Instance chains.
ACM SIGPLAN Notices,
Vol. 45,
Issue. 9,
p.
375.
Morris, J. Garrett
2010.
Experience report.
p.
61.
Van Steenbergen, Martijn
Magalhães, José Pedro
and
Jeuring, Johan
2010.
Generic selections of subexpressions.
p.
37.
Morris, J. Garrett
and
Jones, Mark P.
2010.
Instance chains.
p.
375.
Morris, J. Garrett
2010.
Experience report.
ACM SIGPLAN Notices,
Vol. 45,
Issue. 11,
p.
61.
Schrijvers, Tom
and
Oliveira, Bruno C.d.S.
2011.
Monads, zippers and views.
p.
32.
Hinze, Ralf
and
James, Daniel W.H.
2011.
Proving the unique fixed-point principle correct.
ACM SIGPLAN Notices,
Vol. 46,
Issue. 9,
p.
359.
Bahr, Patrick
and
Hvitved, Tom
2011.
Compositional data types.
p.
83.
Schrijvers, Tom
and
Oliveira, Bruno C.d.S.
2011.
Monads, zippers and views.
ACM SIGPLAN Notices,
Vol. 46,
Issue. 9,
p.
32.
Hinze, Ralf
and
James, Daniel W.H.
2011.
Proving the unique fixed-point principle correct.
p.
359.
Oliveira, Bruno C. d. S.
and
Cook, William R.
2012.
ECOOP 2012 – Object-Oriented Programming.
Vol. 7313,
Issue. ,
p.
2.
Discussions
No Discussions have been published for this article.