If you understand PFPL you can probably just attend or look up previous years tutorial tracks, lecture videos and research papers from the The Programming Langu

If you understand PFPL you can probably just attend or look up previous years tutorial tracks, lecture videos and research papers from the The Programming Languages Mentoring Workshop (PLMW), which encourages students to take PL theory, or Principles of Programming Languages conference (POPL 2017), or PLDI http://conf.researchr.org/home/pldi-2017 http://conf.researchr.org/home/pldi-2017 if they are paywalled there is of course sci-hub proxy. This year's OPLSS looks interesting as well https://www.cs.uoregon.edu/research/summerschool/summer17/topics.php https://www.cs.uoregon.edu/research/summerschool/summer17/to... which will use this book as an introductory http://www.seas.upenn.edu/~bcpierce/tapl/index.html http://www.seas.upenn.edu/~bcpierce/tapl/index.html I mainly follow Dan Licata and Matt Fredikson's personal pages for presentations/lectures as my specific interest is verification and Type Theory. http://dlicata.web.wesleyan.edu/index.html http://dlicata.web.wesleyan.edu/index.html