Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
ICFP 2020 (series) / Haskell 2020 (series) / Haskell 2020 /

Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl)

Haskell 2020
Fri 28 Aug 2020 10:00 - 10:30 at Haskell - Paper Session 3 - Datastructures Chair(s): Andrey Mokhov

We explicitly motivate the subtle intricacies of Hinze and Paterson’s Finger Tree datastructure, by step-wise refining a naive implementation. The result is a new explanation of how Finger Trees work and why they have the particular structure they have, and also a small simplification of the original implementation.

https://doi.org/10.1145/3406088.3409026

Fri 28 Aug

Displayed time zone: Eastern Time (US & Canada) change

10:00 - 11:00
Paper Session 3 - DatastructuresHaskell at Haskell
Chair(s): Andrey Mokhov Jane Street
10:00
30m
Talk
Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl)
Haskell
Koen Claessen Chalmers University of Technology, Sweden
DOI
10:30
30m
Talk
Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Functional Pearl)
Haskell
Armando João Isaías Ferreira dos Santos University of Minho, Portugal / INESC TEC, Portugal, Jose Nuno Oliveira University of Minho, Portugal / INESC TEC, Portugal
DOI
Koen Claessen

Koen Claessen

Chalmers University of Technology, Sweden