Last updated 07/25/02 for Fall Semester 2002.
CS 395T: Advanced Programming Languages
Instructor: Greg Lavender
Email: lavender@cs.utexas.edu
Office: ACES 6.242
Office Hours: M 10-11 am
Tel: (512) 232-7891
TA: None
When/Where: M 4-7 pm, ACES 5.116
Course Description
This is a graduate-level special-topics course on advanced
programming languages, with a primary emphasis on type systems
for modern programming languages. The prerequisites for the course
are:
- a good undergraduate or graduate course in the syntactic and
semantic foundations of programming languages.
- a basic understanding of discrete mathematics (i.e., sets, order, relations, functions,
propositional and predicate logic, and proof by induction).
- familiarity with either an object-oriented or functional programming language (e.g., C++/Java or ML/Haskell).
The course will be a seminar style course, with lectures based on the course textbook, class discussion
on fundamental ideas, and discussion of various papers assigned as reading during the course.
Homework will be assigned weekly and there will be a mid-term and final exam.
Course Reading Material
Lecture notes will be posted
online throughout the course.
We will read several papers
in this course of both an historical as well as research perspective.
(Note that access to the papers is restricted to students officially
registered for the course.)
The required textbooks for this course are:
- Types and Programming Languages, by Benjamin Pierce
- The Definition of Standard ML (Revised) by Robin Milner, Mads Tofte, Robert Harper, and David McQueen
The optional textbooks (your choice) for this course are:
- ML for the Working Programmer, 2nd Edition Lawrence Paulson
- Elements of ML Program: ML97 Edition, by Jeffrey Ullman