CS 457 Functional Languages
Introduction to functional notation, recursion, higher-order functions, reasoning about functions, and models for the evaluation of applicative expressions. Use of functional languages. Also offered for graduate-level credit as CS 557 and may be taken only once for credit.