About PL Wonks

We're a group of programming language researchers and enthusiasts who engage
in the discussion and study of the semantic and logic foundations of
programming languages, language design, type theory, compilers, program
analysis and optimization, program specification and construction, and
emerging models of computation. We have meetings most weeks during the
semester, and an active mailing list. Please consult the following links to
attend or sign up.