Recently learned some basic programming language theory reading the linked lecture notes. A great introduction- got me excited to learn more about formal verification in particular!
seas.harvard.edu/courses/cs152/
Conversation
Replying to
YES! 🎉 Programming language theory/type theory is so much fun! 🤩