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
Jeuring, Johan
and
Löh, Andres
2007.
Datatype-Generic Programming.
Vol. 4719,
Issue. ,
p.
72.
Hinze, Ralf
and
Löh, Andres
2007.
Datatype-Generic Programming.
Vol. 4719,
Issue. ,
p.
150.
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.
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.
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.
López-Fraguas, Francisco
Martin-Martin, Enrique
and
Rodríguez-Hortalá, Juan
2010.
Programming Languages and Systems.
Vol. 6461,
Issue. ,
p.
80.
Weirich, Stephanie
and
Casinghino, Chris
2010.
Arity-generic datatype-generic programming.
p.
15.
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.
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.
Chitil, Olaf
2012.
Practical typed lazy contracts.
p.
67.
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.
Discussions
No Discussions have been published for this article.