Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Fluet, Matthew
and
Pucella, Riccardo
2002.
Foundations of Information Technology in the Era of Network and Mobile Computing.
p.
448.
Shan, Chung-chieh
2004.
Sexy types in action.
ACM SIGPLAN Notices,
Vol. 39,
Issue. 5,
p.
15.
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.
XI, HONGWEI
2007.
Dependent ML An approach to practical programming with dependent types.
Journal of Functional Programming,
Vol. 17,
Issue. 2,
p.
215.
Dunfield, Jana
2007.
Refined typechecking with Stardust.
p.
21.
HINZE, RALF
2009.
Purely Functional 1-2 Brother Trees.
Journal of Functional Programming,
Vol. 19,
Issue. 6,
p.
633.
GERMANE, KIMBALL
and
MIGHT, MATTHEW
2014.
Deletion: The curse of the red-black tree.
Journal of Functional Programming,
Vol. 24,
Issue. 4,
p.
423.
Vazou, Niki
Seidel, Eric L.
and
Jhala, Ranjit
2014.
LiquidHaskell.
p.
39.
McBride, Conor Thomas
2014.
How to keep your neighbours in order.
ACM SIGPLAN Notices,
Vol. 49,
Issue. 9,
p.
297.
McBride, Conor Thomas
2014.
How to keep your neighbours in order.
p.
297.
Ragde, Prabhakar
2014.
Simple Balanced Binary Search Trees.
Electronic Proceedings in Theoretical Computer Science,
Vol. 170,
Issue. ,
p.
78.
Vazou, Niki
Seidel, Eric L.
and
Jhala, Ranjit
2015.
LiquidHaskell.
ACM SIGPLAN Notices,
Vol. 49,
Issue. 12,
p.
39.
Tasso, Sergio
Gervasi, Osvaldo
Vella, Flavio
and
Cuzzocrea, Alfredo
2015.
A Simulation Framework for Efficient Resource Management on Hybrid Systems.
p.
216.
Nipkow, Tobias
2016.
Interactive Theorem Proving.
Vol. 9807,
Issue. ,
p.
307.
Sharma, Vishal
Kumar, Ravinder
and
Kumar, Neeraj
2018.
DPTR: Distributed priority tree-based routing protocol for FANETs.
Computer Communications,
Vol. 122,
Issue. ,
p.
129.
Zhan, Bohua
2018.
Tools and Algorithms for the Construction and Analysis of Systems.
Vol. 10805,
Issue. ,
p.
23.
Kaki, Gowtham
Priya, Swarn
Sivaramakrishnan, KC
and
Jagannathan, Suresh
2019.
Mergeable replicated data types.
Proceedings of the ACM on Programming Languages,
Vol. 3,
Issue. OOPSLA,
p.
1.
Ehimwenma, Kennedy E.
Wang, Junfeng
Zheng, Ze
and
Zhou, Hongyu
2022.
A symbolic-arithmetic for teaching double-black node removal in red-black trees.
Educational Dimension,
Vol. 7,
Issue. ,
p.
112.
Yamamoto, Naoki
and
Ueda, Kazunori
2022.
Engineering Grammar-Based Type Checking for Graph Rewriting Languages.
IEEE Access,
Vol. 10,
Issue. ,
p.
114612.
Schellhorn, Gerhard
Bodenmüller, Stefan
Bitterlich, Martin
and
Reif, Wolfgang
2023.
Verified Software. Theories, Tools and Experiments..
Vol. 13800,
Issue. ,
p.
129.
Discussions
No Discussions have been published for this article.