Functions, closures, and lambda calculus: Programming Language Design course | Zoonk