Linear Types

Bringing Fearless Concurrency to the Masses

We're building new languages for safely programming with shared mutable objects. In our work, threads can freely exchange mutable objects and manipulate state concurrently---with no possibility of a destructive data race.