CIS 500: Software Foundations - Fall 2007

[ Home | Schedule | Coq | Resources | Recitations | Syllabus | WPE ]
Picture of TAPL

Mon, Wed 12:00-1:30PM

Levine Hall Auditorium

Instructor
Benjamin C. Pierce
bcpierce_NOSPAM AT cis.upenn.edu
office hours: TBA
Teaching Assistant
Leonid Spesivtsev
spesiv_NOSPAM AT cis.upenn.edu
office hours: TBA