On the Expressive Power of Programming Languages by Shriram Krishnamurthi

2/27/2021 - 1 min read
Link

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:

© 2020 Guillem Caballero Coll