15312 Foundations — Of Programming Languages

: Functions, recursion, polymorphism, continuations, exceptions, mutable storage, and monads.