Northwestern University PLT

PLT works on improving software reliability via the design and implementation of programming languages and programming environments.

DrRacket
A comprehensive programming environment for writing, debugging, and analyzing Racket programs.

PLT
PLT is a group of people spanning multiple universities that works on Racket and related research.

Redex
An embedded, domain-specific language for writing operational semantics.

Dissertations
Masters and PhD dissertations