Concepts in programming languages.
This course will cover basic concepts and design tradeoffs related to programming languages. The first half of the course focuses on functions, types, scope, storage management, exceptions, and continuations. The second half covers object-oriented features and concurrency. We will conclude with a few special-topics in programming languages. The class also has a number of small labs where students get to implement some of the language features discussed in class.
CS107 Computer Organization and Systems or equivalent (knowledge of the C programming language).
Location and time
Skilling Auditourium, MW 4:30-5:50PM
Staff email list
Edward Z. Yang
I am a fifth year PhD student at Stanford advised by David Mazières and John Mitchell. I am a proud member of the Secure Computer Systems group. I'm interested in applying operating system mechanisms (hardware isolation, dynamic resource limits) to the design and construction programming languages, and vice versa (type systems, formal verification, information flow control). Recently I've been working on Backpack, a new module system for Haskell.