Programming Languages and Logics
MWF 10:10-11:00
Upson 111
CS 4110 introduces basic concepts and techniques in the study of programming languages. It covers theoretical aspects of programming languages as well as the fundamental language paradigms and constructs that build on this theory.
Nate Foster
Email: jnfoster[at]cs.cornell.edu
Office Hours: 11am-12pm Wednesday in Upson 4137
Mark Reitblatt
Email: reitblatt[at]cs.cornell.edu
Office Hours: 2pm-3pm Thursday in Upson 328 B, Bay B