PLT Scheme

PLT is a multi-university group working on advanced programming languages, including language design, formal semantics, computer-aided verification, language implementation, and programming environments.

Project status: Complete