I've only read a surface amount about Proof Carrying Code. In spite of my default stance on types, I am interested in ML and Haskell style type inference. So this book looks interesting, covering both topics and then some.
"I have a mind like a steel... uh... thingy." Patrick Logan's weblog.