This is the homepage of Com S 541, a course
on programming languages,
as taught by Hridesh Rajan in Fall 2008 at
Iowa State University. These pages make the
course related materials available.
|
Instructor
|
|
Teaching Assistant
|
|
Hridesh Rajan
|
|
TBD
|
Class Schedule | | Office Hours |
| TR 12:40pm-2:00pm | | TR 2:00pm-3:00pm |
Textbook |
- The Formal Semantics of Programming Languages, by Glynn Winskel (Required)
- Types and Programming Languages, by Benjamin Pierce (Highly recommended)
|
Other Relevant Courses
-
Com S 610-HR:
advanced topics in program analysis
-
Com S 641:
semantic models of programming languages (graduate course)
-
Com S 342:
Principles of Programming Languages (undergraduate course)
-
Com S 362:
Object-oriented Analysis and Design (undergraduate course)