Finger Trees

MaRDI QIDQ7361172FDO

Authors Benedikt Nordhoff, Stefan Körner, Peter Lammich

Publication date 28 October 2010

Cites work

• Finger trees: a simple general-purpose data structure
• Program-ing finger trees in Coq

Cited in

(3)

• Jinja with Threads
• Light-weight Containers
• Collections Framework

This page was built for software: Finger Trees