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.
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.
Okasaki, Chris
2005.
Alternatives to two classic data structures.
ACM SIGCSE Bulletin,
Vol. 37,
Issue. 1,
p.
162.
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.
Abel, Andreas
2006.
Mathematics of Program Construction.
Vol. 4014,
Issue. ,
p.
10.
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.
Volanschi, Nic
2012.
Pattern matching for the masses using custom notations.
Science of Computer Programming,
Vol. 77,
Issue. 5,
p.
609.
GERMANE, KIMBALL
and
MIGHT, MATTHEW
2014.
Deletion: The curse of the red-black tree.
Journal of Functional Programming,
Vol. 24,
Issue. 4,
p.
423.
Ragde, Prabhakar
2014.
Simple Balanced Binary Search Trees.
Electronic Proceedings in Theoretical Computer Science,
Vol. 170,
Issue. ,
p.
78.
Wörteler, Leonard
Grossniklaus, Michael
Grün, Christian
and
Scholl, Marc H.
2015.
Function inlining in XQuery 3.0 optimization.
p.
45.
Tasso, Sergio
Gervasi, Osvaldo
Vella, Flavio
and
Cuzzocrea, Alfredo
2015.
A Simulation Framework for Efficient Resource Management on Hybrid Systems.
p.
216.
Lampropoulos, Leonidas
Gallois-Wong, Diane
Hriţcu, Cătălin
Hughes, John
Pierce, Benjamin C.
and
Xia, Li-yao
2017.
Beginner's luck: a language for property-based generators.
ACM SIGPLAN Notices,
Vol. 52,
Issue. 1,
p.
114.
Lampropoulos, Leonidas
Gallois-Wong, Diane
Hriţcu, Cătălin
Hughes, John
Pierce, Benjamin C.
and
Xia, Li-yao
2017.
Beginner's luck: a language for property-based generators.
p.
114.
Zhan, Bohua
2018.
Tools and Algorithms for the Construction and Analysis of Systems.
Vol. 10805,
Issue. ,
p.
23.
Feng, Liang
Zhao, Jieru
Liang, Tingyuan
Sinha, Sharad
and
Zhang, Wei
2019.
LAMA.
p.
1.
Elmasry, Amr
Kahla, Mostafa
Ahdy, Fady
and
Hashem, Mahmoud
2019.
Red–black trees with constant update time.
Acta Informatica,
Vol. 56,
Issue. 5,
p.
391.
Mista, Agustín
and
Russo, Alejandro
2019.
Deriving compositional random generators.
p.
1.
Discussions
No Discussions have been published for this article.