Overview

The Programming Languages Discussion Group meets weekly to discuss papers in the area of programming languages, program analysis, and compilers. The goal is to encourage interactions and discussions between students, researchers, and faculty with interests in this area. The seminar is open to everybody interested in languages and compilers. First-year and second-year students are especially encouraged to participate.

This summer, we are structuring our meetings around Linear Logic, a course taught by Frank Pfenning at CMU. We will link the lecture notes here, but be sure check out the CMU page for additional material including video lectures (email Owen if you need access).

Talks will be advertised on the pldg-l email list.

Schedule