Department of Computer Science

Com S 541: Programming Languages

Got a question?

Got a question or comment? Contact us at (515) 294-6168 or

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.



Teaching Assistant

Hridesh Rajan   TBD

Class Schedule


Office Hours

TR 12:40pm-2:00pm  TR 2:00pm-3:00pm


  • The Formal Semantics of Programming Languages, by Glynn Winskel
  • Types and Programming Languages, by Benjamin Pierce

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)