#POPL's videos are already out. Congratulation to the video team for the great work!

Here are some talks to check out
Zev Shirazi's The Relative Monadic Metalanguage (with a funny use of linear types) https://www.youtube.com/watch?v=WxkERJ_7yLI
The very enthusiastic David Kahn's Big-Stop Semantics https://www.youtube.com/watch?v=OEYWCZh5IjA

Already on my way to #POPL

I'm presenting a poster at the SRC and if I'm lucky a presentation too.