15-816 Linear Logic Spring 1998 Frank Pfenning Tu Th 1:30-2:50, Wean Hall 4601 12 Units, 1 CS Core Unit

This graduate course provides an introduction to linear logic with an emphasis on its applications in computer science. This includes the theory of functional, logic and imperative programming languages. We will also develop a linear type theory which will serve as a meta-language in which the theory of programming languages with state can be formalized effectively. An implementation of the type theory may be available for practical experiments later in the semester.

What's New?

• The final will be available from the instructor or his secretary (Rosemary Battenfelder, WeH 8124) until Thursday, May 7, 4:00pm. You can pick it up and take it for any 24 hour period between now and then.

Class Material

• Schedule
• Assignments
• Languages
• Handouts
• Overview
• Links

Course Information

• Lectures: Tu and Th, 1:30-2:50, WeH 4601
• Prerequisites: General familiarity with functional programming.
  Interested undergraduates require permission by the instructor.
• Textbook: None. Course notes will be handed out.
• Final: Take-home, Date TBA.
• Grading: Course grade will be based 75% on the weekly homework and 25% on the take-home final.
• Credit: 12 Units (1 CS Core Unit).
• Topics: See the course overview and tentative lecture schedule.
• Home: http://www.cs.cmu.edu/~fp/courses/linear/
• Directory: /afs/cs/user/fp/courses/linear/
• More: Further information on linear logic.

Teaching Staff