CS 557 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 undergraduate-level credit as CS 457 and may be taken only once for credit.