On the Expressive Power of Programming Languages by Shriram Krishnamurthi

Interesting talk by Shriram Krishnamurthi, about how to know if languages are different beyond having Turing completeness with mathematical proofs, and how to know if adding a feature to a language adds expressiveness.

The referenced paper is:

Other referenced papers: