Com S 641 meeting -*- Outline -*- * overview * expression-abstractions * lazy-eager * other-abstractions * recursion * variables * type-structures * modules * records