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

Name: On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
Description: 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.

PapersWeLove

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.

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

9 Hacker News mentions · 2020–2026

Topics

Programming language design
Functional programming

Watch on YouTube

Explore more videos