On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
In brief
Shriram Krishnamurthi's PWLConf 2019 talk on the formal notion of expressive power of programming languages, based on Felleisen's paper. It explains how to tell when a feature adds power by whether emulating it requires global rewriting.