Haskell Live Coding Session 3 Authenticated Computation

Summary

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