P523 is a classic compiler course taught by R. Kent Dybvig.