I think I might be in a similar boat. I've an interest in Type Theory, but rarely get to really connect day to day work with the fun bits. Interestingly I have

I think I might be in a similar boat. I've an interest in Type Theory, but rarely get to really connect day to day work with the fun bits. Interestingly I have never heard of Robert Harper, so I will be looking at those lectures with great interest. Instead, I have Benjamin C. Pierce's fantastic "Types and Programming Languages" book (still working my way through it bit by bit), and I happened to get one of the most impactful talks of my life from Derek Dreyer: How to Give Talks that People Can Follow. I still use those 20 minutes of advice to this day. I'm strangely excited to see both their names as authors on this article, and I believe that tells me a lot about what kind of passionate speaking I can expect from Robert Harper!