Department of Computer Science

Hridesh Rajan

Got a question?

Got a question or comment? Contact me at (515) 294-6168 or hridesh@iastate.edu.

Com S 541: A Graduate Course on Programming Language Design and Semantics

Below you will find description of the course Com S 541 as taught by Hridesh Rajan at Iowa State University and elsewhere.

  • Fall 2015: This edition used the lecture notes on Software Foundations developed by Benjamin C. Pierce et al. and the textbook "Types and Programming Languages" by Benjamin C. Pierce. Compared to previous editions that integrated projects, this edition used homework and exams as the primary evaluation medium. The course utilized ISU blackboard system for distributing material to students.
  • Fall 2010: This edition also used the lecture notes on Software Foundations developed by Benjamin C. Pierce et al. and the textbook "Types and Programming Languages" by Benjamin C. Pierce. Besides minor changes this edition was similar to the Fall 2009 edition.
  • Fall 2009 This edition used the lecture notes on Software Foundations developed by Benjamin C. Pierce et al. and the textbook "Types and Programming Languages" by Benjamin C. Pierce. A major change from last edition of this course was to use the Coq proof assistant throughout this course for expressing language semantics, type systems, and for proving properties about them.
  • Fall 2008 This edition used the textbooks "Types and Programming Languages" by Benjamin C. Pierce and "the Formal Semantics of Programming Languages" by Glynn Winskel.

All the material made available here is copyright © Hridesh Rajan 2019. Permission is granted to make copies for educational and scholarly purposes, but copies may not be used directly or indirectly for commercial purposes. All copies must retain this copyright notice. All other rights reserved.