[carls]

Shriram did an excellent job being a lively, energetic and engaging speaker who distilled some of the core concepts of the paper down without getting tangled in the formalisms.

I do not have an academic background in theoretical computer science and was nevertheless able to follow along his talk perfectly well.

For anyone interested in reading it, the paper by Matthias Felleisen that this talk is based on can be found on the author's website: https://felleisen.org/matthias/papers.html

[leephillips]

I had the same reaction. I don’t know much computer science either, but this talk was really interesting and substantial.