Benjamin Pierce was my go to guy: https://softwarefoundations.cis.upenn.edu/index.html https://softwarefoundations.cis.upenn.edu/index.html And when that is di

Benjamin Pierce was my go to guy: https://softwarefoundations.cis.upenn.edu/index.html https://softwarefoundations.cis.upenn.edu/index.html And when that is digested: https://www.cis.upenn.edu/~bcpierce/tapl/main.html https://www.cis.upenn.edu/~bcpierce/tapl/main.html And I think the learning should be fun. It is much more like taking an adventure into these areas. Especially when it is not a part of a course. So learn everything at ones and write about it (this is an area that is serious in need of some good written blog articles) - Maybe that will also create some serendipitous moments :)