Topics for this course may include advanced study of general programming language design concepts, formal reasoning about programs and languages, pragmatic evaluation of language properties, and case studies of specfic languages. The course may be used to communicate programming language theory and practice specfic to students' project or thesis research needs.
- Instructor: David Casperson