I'm working through Pierce's Software Foundations.