Skip to content

PapersWeLove

On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]

About this video

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.