Home
Syllabus
Lecture Notes
Programming/programming languages resources
Papers
- Evolving a Language for the Real World: C++ 1991-2006 (Bjarne Stroustrup)
- How Enterprises Use Functional Languages, and Why They Don't (Philip Wadler)
- MapReduce: Simplified Data Processing on Large Clusters (Jeff Dean and Sanjay Ghemawat)
- The Next 700 Programming Languages (P. J. Landin)
- Proofs are Programs: 19th Century Logic and 21st Century Computing (Philip Wadler)
- Software Prevention by Language Choice: Why C is Not My Favorite Language (Richard Fateman)
- Why Functional Programming Matters (John Hughes)
Blogs
- Lambda the Ultimate - programming languages blog that posts papers, articles, and other fun things.
- Joel on Software - a programmer writes about software and software companies.
Other programming languages courses
If you are wondering what they learn in other programming languages courses, take a look at the course sites/syllabi.- CS 411: Programming Languages - Prof. Morrisett's Cornell course from 2003; an introduction to semantics and other things.
- CS 152: Principles of Programming Languages - take a look at what CS 152 here used to look like with Prof. Ramsey. The focus was on data abstraction rather than type systems.