Media Summary: A bit of a crash course on succinct data structures and dynamization schemes. -- Watch Nominal sets are about dealing with name capture in a principled way, based on permutations of 'atoms' or 'names'. We spent the ... This educational video is part of the course Introduction to Functional
Haskell Live Coding Session 8 - Detailed Analysis & Overview
A bit of a crash course on succinct data structures and dynamization schemes. -- Watch Nominal sets are about dealing with name capture in a principled way, based on permutations of 'atoms' or 'names'. We spent the ... This educational video is part of the course Introduction to Functional Building a little library for authenticated computations in Unfortunatly there is plenty of annoying background audio, I forgot to keep talking after about 5 minutes, I swore under my breath ... Continuing on from last time, we build the bulk of a library for lazily (de)serializing data with succinct data structures. -- Watch
Presenter: Andreas Granström Event Page: Hope you liked the video! This took a while to make (mostly bc of uni stuff getting in the way). In this video, I will be going over the ...
