Follow Bodil on Twitter.
Check out some of her conference talks.
Use an Emacs starter kit to smooth the learning curve.
For an introduction to type theory, click here.
Or if you want to crack a turtle with types, read Types and Programming Languages.
Learn about the A* Series and see more interviews here.