Unfortunately, Java is a poor choice to implement a programming language with and there's nothing about implementing static typing in this book. I honestly believe that most folks would be better off reading SICP or similar. What is needed is a book that can make more modern ideas (and more modern languages) accessible to industry.