Utah PLT

PLT works on advanced programming languages, including language design, formal semantics, language implementation, and programming environments.

People	Utah PLT's current team.
Publications	Technical publications from PLT at Utah. See also Northeastern.
Racket	A programming language and environment.
PLT	Links to PLT members at other sites.