Programming Languages and Logics
An introduction to the theory, design, and implementation of programming languages. Topics include operational semantics, type systems, higher-order functions, scope, lambda calculus, laziness, exceptions, side effects, continuations, objects, and modules. Also discussed are concurrency and distributed programming.
Office Hours: 4pm-5pm Mondays and 11am-12pm Wednesdays in Upson 4137
Office Hours: 8:30pm-9:30pm Thursdays in Upson 360
Office Hours: 5pm-6pm Mondays in Upson 4135