Works

(Some) current and past projects

Code inference

Type inference

Concurrency

Objects

Control operators