Programming Languages & Software Engineering

Overview

Programming Languages & Security at Princeton University includes functional programming languages (ML) and type theory, as well as security and privacy technologies and policy.

Projects

Archived Projects (no longer active)