Com S 541: Programming Languages

Got a question?

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

Course Description (from ISU Catalog)

Com S 541. Programming Languages. (3-1) Cr. 3. F. Prereq: 342 or 440. Survey of the goals and problems of language design. Formal and informal studies of a wide variety of programming language features including type systems. Creative use of functional and declarative programming paradigms.

Organization of Topics

The topics that will be covered in this edition of the course fall under the following categories:

• Advanced language features (e.g. closures, continuation-passing style, first-class continuations)
• Dynamic semantics and proof techniques (e.g. operational semantics, structural induction)
• Static semantics (type systems)

Textbook

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

Accommodations for Disabilities

We would like to hear from you if you have a disability that may require some modification of seating, testing, or other class requirements. If so, please request that the Disability Resources staff send a SAAR (Student Academic Accommodation Request) form verifying your disability and specifying the accommodation you will need. Then bring the SAAR form along and talk to Hridesh Rajan as soon as possible so appropriate arrangements may be made.