Haskell Live Coding Session 3 Authenticated Computation

Summary

Continuing on from last time, we build the bulk of a library for lazily (de)serializing data with succinct data structures. -- Watch Nominal sets are about dealing with name capture in a principled way, based on permutations of 'atoms' or 'names'. We spent the ... In this stream we went off and found a nicer format for succinct serialization without quite so many parentheses. Then we spent a ... Working towards a little relational Undoing a fair bit of the damage we did from the last couple of streams and trying to incorporate the things we did . -- Watch ... See how I hope you enjoyed it anyway this especially what working and In which we (mostly) convert to using a sum-of-product representation for terms to get a more efficient serialized form. -- Watch Reviewing the last couple of days work on delimited continuations, and then implementing explicit sharing in the style of ...