University
of Washington • CSE583 • D. Notkin © 2000
95
Theory
lOK, that’s all the theory we’ll cover for functional languages
–There’s
tons more (typed lambda-calculus, as one
example)
lIt’s not intended to make you theoreticians, but rather to give you some sense of the underlying mathematical basis for functional programming