Meeting: MWF 10-11, CIT 316

Professor: Shriram Krishnamurthi

Course Number: Note that this “course” is formally being offered as an independent study, i.e., not as CSCI 2730 but rather as CSCI 2980-SK.

Text: Types and Programming Languages, Benjamin C. Pierce

Discussion: Piazza site

Reading schedule (due dates):

A Prickly Y-Combinator
(a.k.a., Cactus, Mission San José, San Antonio, TX)
© 1997 sk