POPL (via Lambda): The POPL’14 proceedings are now available for individual download from the ACM digital library. […] The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and systems, with emphasis on how principles underpin practice. Both theoretical and experimental papers are welcome, on … Continue reading Principles of Programming Languages 2014