Programming language theory — Thinking the unthinkable (paper and slides) | Hacker News Reader