Programming Languages

Group members

Visit the google spreadsheet for a live lists when needed.

Meetings

These are the topics we covered during our first meeting, 2006-10-05:

• Parameter passing (by name, by value, by value-result, by reference)
• Scoping - static (aka lexical, pretty much everything) vs. dynamic (exceptions, weird Perl)
• Class inheritance - how it's implemented in C++ (vtable) and Smalltalk/Java (method dictionary)
• Exceptions - dynamically-scoped, exception chaining

These are the topics we covered during our second meeting, 2006-10-12:

• Typing - static vs. dynamic
• Type inference
• Parametric polymorphism - ML, C++ templates, Java generics

These are the topics we covered during our third meeting, 2006-10-19:

• Garbage collection - precise vs. conservative

Here are the topics still left to go through, which were on old exams:

• Function subtyping (huh?) - covariance (return values), contravariance (parameters)
• Functional programming - ML and Lisp, recursion, tail recursion optimization, closures
• Concurrency

2005 Passing Score

45/60

Notes

http://carlstrom.com/stanford/comps/Programming-Languages.txt

CS242 lecture notes from Philip Guo

CS301 presentation movie

CS242 notes (alternate)

http://www.cs.utexas.edu/~ben/teaching/cs345_sp05/activation.html