On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
Why it was recommended
Shriram Krishnamurthi's talk from two years ago on this paper might be more approachable.
RecommendationTwisol · Original
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. It is for someone who wants the derivation, proof, or implementation detail.
Video details
- Channel
- PapersWeLove
- Length
- 59 min 4 sec
- Year
- 2019