20-CS-4003-001 Organization of Programming Languages Fall 2017
Important Stuff

Lambda calculus, Type theory, Formal semantics, Program analysis

Haskell Characteristics