section-7-welcome-message
section-7-reading-notes
ml-versus-racket
what-is-static-checking
soundness-and-completeness
weak-typing
static-versus-dynamic-typing-part-one
static-versus-dynamic-typing-part-two
optional-eval-and-quote
part-b-wrap-up-and-part-c-preview