PickVids

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
Open on YouTube

More in this topic

Hear about newly added videos?

Optional. We store this email and nothing else. It does not create an account.