Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Gibbons, Jeremy
2006.
Design patterns as higher-order datatype-generic programs.
p.
1.
Hinze, Ralf
and
Löh, Andres
2007.
Datatype-Generic Programming.
Vol. 4719,
Issue. ,
p.
150.
Hinze, Ralf
Jeuring, Johan
and
Löh, Andres
2007.
Datatype-Generic Programming.
Vol. 4719,
Issue. ,
p.
72.
Oliveira, Bruno C.d.S.
and
Gibbons, Jeremy
2008.
Scala for generic programmers.
p.
25.
Verbruggen, Wendy
de Vries, Edsko
and
Hughes, Arthur
2008.
Polytypic programming in COQ.
p.
49.
Rodriguez, Alexey
Jeuring, Johan
Jansson, Patrik
Gerdes, Alex
Kiselyov, Oleg
and
Oliveira, Bruno C. d. S.
2008.
Comparing libraries for generic programming in haskell.
p.
111.
Rodriguez, Alexey
Jeuring, Johan
Jansson, Patrik
Gerdes, Alex
Kiselyov, Oleg
and
Oliveira, Bruno C. d. S.
2009.
Comparing libraries for generic programming in haskell.
ACM SIGPLAN Notices,
Vol. 44,
Issue. 2,
p.
111.
Jeuring, Johan
Leather, Sean
Pedro Magalhães, José
and
Rodriguez Yakushev, Alexey
2009.
Advanced Functional Programming.
Vol. 5832,
Issue. ,
p.
165.
Wang, Meng
and
Oliveira, Bruno C. d. S.
2009.
What does aspect-oriented programming mean for functional programmers?.
p.
37.
Hinze, Ralf
and
Löh, Andres
2009.
Generic programming in 3D.
Science of Computer Programming,
Vol. 74,
Issue. 8,
p.
590.
Verbruggen, Wendy
de Vries, Edsko
and
Hughes, Arthur
2009.
Polytypic properties and proofs in Coq.
p.
1.
VERBRUGGEN, WENDY
DE VRIES, EDSKO
and
HUGHES, ARTHUR
2010.
Formal polytypic programs and proofs.
Journal of Functional Programming,
Vol. 20,
Issue. 3-4,
p.
213.
Magalhães, José Pedro
Holdermans, Stefan
Jeuring, Johan
and
Löh, Andres
2010.
Optimizing generics is easy!.
p.
33.
OLIVEIRA, BRUNO C. D. S.
and
GIBBONS, JEREMY
2010.
Scala for generic programmers.
Journal of Functional Programming,
Vol. 20,
Issue. 3-4,
p.
303.
Weirich, Stephanie
and
Casinghino, Chris
2010.
Arity-generic datatype-generic programming.
p.
15.
López-Fraguas, Francisco
Martin-Martin, Enrique
and
Rodríguez-Hortalá, Juan
2010.
Programming Languages and Systems.
Vol. 6461,
Issue. ,
p.
80.
Chitil, Olaf
2012.
Practical typed lazy contracts.
ACM SIGPLAN Notices,
Vol. 47,
Issue. 9,
p.
67.
Weirich, Stephanie
and
Casinghino, Chris
2012.
Generic and Indexed Programming.
Vol. 7470,
Issue. ,
p.
217.
Magalhães, José Pedro
and
Löh, Andres
2012.
A Formal Comparison of Approaches to Datatype-Generic Programming.
Electronic Proceedings in Theoretical Computer Science,
Vol. 76,
Issue. ,
p.
50.
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.