Hacker News Reader

Comment by hackermailman | Hacker News Reader

This list is short on programming language theory, here's a rigorous book I enjoyed if interested in the formal definitions of such things as Abstract Syntax Trees or Types.

Robert Harper's Practical Foundations of Programming Languages. (free draft copy, also take the notation guide) http://www.cs.cmu.edu/~rwh/pfpl.html

There's videos for this book (and for Category Theory) @ OPLSS https://www.cs.uoregon.edu/research/summerschool/summer16/cu...

View on HN

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!

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 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/to... which will use this book as an introductory 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

Reply on news.ycombinator.com