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