From Principles to Programming Languages (and Back)

Shriram Krishnamurthi

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

(Invited Talk.)

Paper

PDF

---

These papers may differ in formatting from the versions that appear in print. They are made available only to support the rapid dissemination of results; the printed versions, not these, should be considered definitive. The copyrights belong to their respective owners.