Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Hinze, Ralf
2001.
A simple implementation technique for priority search queues.
p.
110.
Hinze, Ralf
2001.
A simple implementation technique for priority search queues.
ACM SIGPLAN Notices,
Vol. 36,
Issue. 10,
p.
110.
Eker, Steven
2003.
Rewriting Techniques and Applications.
Vol. 2706,
Issue. ,
p.
14.
Abel, Andreas
and
Matthes, Ralph
2004.
Computer Science Logic.
Vol. 3210,
Issue. ,
p.
190.
Abel, Andreas
Matthes, Ralph
and
Uustalu, Tarmo
2005.
Iteration and coiteration schemes for higher-order and nested datatypes.
Theoretical Computer Science,
Vol. 333,
Issue. 1-2,
p.
3.
Okasaki, Chris
2005.
Alternatives to two classic data structures.
ACM SIGCSE Bulletin,
Vol. 37,
Issue. 1,
p.
162.
Okasaki, Chris
2005.
Alternatives to two classic data structures.
p.
162.
Abel, Andreas
2006.
Mathematics of Program Construction.
Vol. 4014,
Issue. ,
p.
10.
Specht, Emilena
Redin, Ricardo Miotto
Carro, Luigi
Lamb, Luis da Cunha
Cota, Erika Fernandes
and
Wagner, Flávio Rech
2007.
Analysis of the use of declarative languages for enhanced embedded system software development.
p.
324.
Runciman, Colin
Naylor, Matthew
and
Lindblad, Fredrik
2008.
Smallcheck and lazy smallcheck.
p.
37.
Ragde, Prabhakar
2008.
The chilling descent.
p.
13.
Krauss, Alexander
2008.
Pattern minimization problems over recursive data types.
p.
267.
Krauss, Alexander
2008.
Pattern minimization problems over recursive data types.
ACM SIGPLAN Notices,
Vol. 43,
Issue. 9,
p.
267.
HINZE, RALF
2009.
Purely Functional 1-2 Brother Trees.
Journal of Functional Programming,
Vol. 19,
Issue. 6,
p.
633.
Runciman, Colin
Naylor, Matthew
and
Lindblad, Fredrik
2009.
Smallcheck and lazy smallcheck.
ACM SIGPLAN Notices,
Vol. 44,
Issue. 2,
p.
37.
Babić, Domagoj
Martignoni, Lorenzo
McCamant, Stephen
and
Song, Dawn
2011.
Statically-directed dynamic automated test generation.
p.
12.
Volanschi, Nic
2012.
Pattern matching for the masses using custom notations.
Science of Computer Programming,
Vol. 77,
Issue. 5,
p.
609.
Blanc, Régis
Kuncak, Viktor
Kneuss, Etienne
and
Suter, Philippe
2013.
An overview of the Leon verification system.
p.
1.
Ragde, Prabhakar
2014.
Simple Balanced Binary Search Trees.
Electronic Proceedings in Theoretical Computer Science,
Vol. 170,
Issue. ,
p.
78.
GERMANE, KIMBALL
and
MIGHT, MATTHEW
2014.
Deletion: The curse of the red-black tree.
Journal of Functional Programming,
Vol. 24,
Issue. 4,
p.
423.
Discussions
No Discussions have been published for this article.