On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
PapersWeLove · 59:03 · Watch on YouTube
이 강연은 Matthias Felleisen의 표현력 이론을 제시합니다: 튜링 완전성을 넘어서면 모든 언어가 동등해 보이지만, 이전에 유효했던 관찰 동등성을 깨뜨리기 때문에 지역 매크로로 인코딩할 수 없을 때에만 어떤 기능이 진정으로 표현력이 있다.