An Overview of Edison

DOI10.1016/S1571-0661(05)80546-8zbMath1262.68029MaRDI QIDQ4921513

Chris Okasaki

Publication date: 10 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Data structures (68P05)

Uses Software

• Haskell
• QuickCheck

Cites Work

• Unnamed Item
• An applicative random-access stack
• Three algorithms on Braun trees
• Purely Functional Data Structures
• Self-Adjusting Heaps

This page was built for publication: An Overview of Edison