Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Backhouse, Roland
Jansson, Patrik
Jeuring, Johan
and
Meertens, Lambert
1999.
Advanced Functional Programming.
Vol. 1608,
Issue. ,
p.
28.
Hinze, Ralf
1999.
Functional and Logic Programming.
Vol. 1722,
Issue. ,
p.
21.
Sheard, Tim
2001.
Generic unification via two-level types and parameterized modules.
p.
86.
Sheard, Tim
2001.
Generic unification via two-level types and parameterized modules.
ACM SIGPLAN Notices,
Vol. 36,
Issue. 10,
p.
86.
Hinze, Ralf
Jeuring, Johan
and
Löh, Andres
2002.
Mathematics of Program Construction.
Vol. 2386,
Issue. ,
p.
148.
Labra Gayo, J.E.
Cueva Lovelle, J.M.
Luengo Díez, M.C.
and
Cernuda del Río, A.
2002.
Specification of Logic Programming Languages from Reusable Semantic Building Blocks.
Electronic Notes in Theoretical Computer Science,
Vol. 64,
Issue. ,
p.
220.
Hinze, Ralf
and
Jeuring, Johan
2003.
Generic Programming.
Vol. 2793,
Issue. ,
p.
57.
Clarke, Dave
and
Löh, Andres
2003.
Generic Programming.
Vol. 115,
Issue. ,
p.
21.
Norell, Ulf
and
Jansson, Patrik
2004.
Implementation of Functional Languages.
Vol. 3145,
Issue. ,
p.
168.
Hinze, Ralf
Jeuring, Johan
and
Löh, Andres
2004.
Type-indexed data types.
Science of Computer Programming,
Vol. 51,
Issue. 1-2,
p.
117.
Ward, Justin
Kimmell, Garrin
and
Alexander, Perry
2005.
Prufrock.
p.
423.
Backhouse, Roland
2006.
Logical Approaches to Computational Barriers.
Vol. 3988,
Issue. ,
p.
21.
Hinze, Ralf
Jeuring, Johan
and
Löh, Andres
2007.
Datatype-Generic Programming.
Vol. 4719,
Issue. ,
p.
72.
Jansson, Patrik
Jeuring, Johan
Cabenda, Laurence
Engels, Gerbo
Kleerekoper, Jacob
Mak, Sander
Overeem, Michiel
and
Visser, Kees
2007.
Implementation and Application of Functional Languages.
Vol. 4449,
Issue. ,
p.
217.
Noort, Thomas van
Rodriguez, Alexey
Holdermans, Stefan
Jeuring, Johan
and
Heeren, Bastiaan
2008.
A lightweight approach to datatype-generic rewriting.
p.
13.
Backhouse, Roland
and
Doornbos, Henk
2008.
Datatype-Generic Termination Proofs.
Theory of Computing Systems,
Vol. 43,
Issue. 3-4,
p.
362.
Yakushev, Alexey Rodriguez
Holdermans, Stefan
Löh, Andres
and
Jeuring, Johan
2009.
Generic programming with fixed points for mutually recursive datatypes.
p.
233.
SCHRIJVERS, TOM
STUCKEY, PETER
and
WADLER, PHILIP
2009.
Monadic constraint programming.
Journal of Functional Programming,
Vol. 19,
Issue. 6,
p.
663.
Yakushev, Alexey Rodriguez
Holdermans, Stefan
Löh, Andres
and
Jeuring, Johan
2009.
Generic programming with fixed points for mutually recursive datatypes.
ACM SIGPLAN Notices,
Vol. 44,
Issue. 9,
p.
233.
VAN NOORT, THOMAS
RODRIGUEZ YAKUSHEV, ALEXEY
HOLDERMANS, STEFAN
JEURING, JOHAN
HEEREN, BASTIAAN
and
MAGALHÃES, JOSÉ PEDRO
2010.
A lightweight approach to datatype-generic rewriting.
Journal of Functional Programming,
Vol. 20,
Issue. 3-4,
p.
375.
Discussions
No Discussions have been published for this article.