On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
PapersWeLove · 59:03 · Watch on YouTube
This talk presents Matthias Felleisen's theory of expressive power: beyond Turing-completeness all languages look equal, but a feature is truly expressive iff it cannot be encoded as a local macro because it breaks pr...