log in  |  register  |  feedback?  |  help  |  web accessibility
Logo
Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl)
Leonidas Lampropoulos - University of Maryland, College Park
Zoom
Tuesday, September 22, 2020, 4:15-5:00 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
Abstract

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.

Come join us via Zoom: https://umd.zoom.us/my/isweet

This talk is organized by Ian Sweet