> types and typing

Types and Programming Languages, Benjamin C Pierce

> object files, executables, libraries and linking

Linkers and Loaders, John R Levine

I've read Pierce. It's not a bad book, but less grounded than CI, which has an explicit "workmanlike" approach.