This book still provides one of the best introductions to both basic ML programming, structuring big project with modules, and mechanical theorem proving.
I wish it was updated to OCaml, Scala, and maybe even Haskell.
I'd love to see a Rust and Erlang version.
Surprisingly little. Functional programming has become more mainstream, but most of the concepts have been well known and studied in academia for decades.