Hacker News
- The Silently Shifting Semicolon [pdf] http://www.cs.ucla.edu/~todd/research/snapl15.pdf 35 comments
- The Day the Infant Internet Uttered its First Words http://www.cs.ucla.edu/about/history/the-day-the-infant-internet-uttered-its-first-words 4 comments
- So long, and thanks for the Ph.D. http://www.cs.ucla.edu/~palsberg/azuma.html 6 comments
- The Silently Shifting Semicolon http://www.cs.ucla.edu/~todd/research/snapl15.pdf 97 comments programming
- OMeta: an Object-Oriented Language for Pattern Matching [pdf] http://www.cs.ucla.edu/~awarth/papers/dls07.pdf 3 comments programming
- Extending a type system to enforce arbitrary constraints (PDF) http://www.cs.ucla.edu/~todd/research/oopsla06b.pdf 2 comments programming
Lambda the Ultimate
- A Generic Type-and-Effect System http://www.cs.ucla.edu/~todd/research/tldi09.pdf 1 comment Implementation , Type Theory
- OMeta: an Object-Oriented Language for Pattern Matching http://www.cs.ucla.edu/~awarth/papers/dls07.pdf 11 comments LtU Forum
- A Type System Equivalent to Flow Analysis http://www.cs.ucla.edu/~palsberg/paper/toplas95-po.pdf 4 comments Type Theory