Turing machines, halting problem, reductions. Introduction to functional programming and related programming language features. Prerequisite: CSC 28, CSC 35, CSC 130, and not currently enrolled in CSC ...