Shriram Krishnamurthi on Programming Language Expressiveness

PapersWeLove · Talk · YouTube title: On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]

Why it's here

Recommended as the approachable way into a precise definition of language expressiveness for language-design arguments.

What it covers

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.