CIS 670: Advanced Topics in Programming Languages
|
|
Instructor: Stephanie Weirich Semester Project Ideas [upenn.edu
access only] |
|
Course DescriptionTextbooks
This course delves into the state of the art of type systems
and First we will discuss how type systems can be used to reason about Next, we look at how type systems can be made more precise. In other Effect type systems allow types to describe properties of Substructural type systems augment type mechanisms with the ability
to Finally, we will study type mechanisms designed for programming in the Tentative list of topics
Students will be expected to bring questions based on the current reading to each class and participate in discussion. The majority of the course grade will come from the semester project. |
|
9/19/03 | Project InformationThe goal of the course project is to produce a research paper suitable for publication in a workshop or conference forum. Students are to work together in small groups (2 or 3 people). Rough Timeline
Grading criteria The projects will be graded based on the writeup at each phase, the quality of the project technically, and the resulting final paper. Writeups are expected to require revision and editing throughout the semester; feedback on writing style and content will be provided. Furthermore, each group will be encouraged to peer review the other groups' submissions at each step of the project. |