5 ms·

Do you have suggestions for PL reading lists? I nearly never see PL mentioned on them, and have been looking for alternatives for some time as PFPL offers one a

by aerioux 10y ago

Do you have suggestions for PL reading lists? I nearly never see PL mentioned on them, and have been looking for alternatives for some time as PFPL offers one approach + style to many of the problems they address, but I would love a broader survey. Thanks!

hackermailman 10y ago
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
- deleted 10y ago
  [deleted]