Works

(Some) current and past projects

Type inference

Concurrency

Objects

Control operators