Functional Collection Programming with Semi-Ring Dictionaries (Shaikhha et al)

Let's take a break from The Science of Functional Programming and read an intriguing paper Sergei discovered at https://arxiv.org/abs/2103.06376 . The paper describes a data structure that is said to subsume a variety of other functional data structures in a way that allows highly optimized implementations.

We'll post the link to the meeting on this page shortly before the scheduled start of the meeting.