Announcements
- NJPLS is 9/20
- Send me email if you want to join the Plclub mailing list.
Course Information
- Instructor:
Stephanie Weirich
(sweirich)
561-B Moore (GRW)
- Office hours: M 3-4, Th 11-12
- Time: MW 1:30-3
- Location: Moore 212
- Prerequisites: CIS 500 (Software Foundations) or permission
of the instructor.
- Recommended textbook: Benjamin C. Pierce, Types and Programming
Languages, MIT Press, 2002. (We will mostly be working from lecture
notes and papers but this book will provide a reference.)
|