Phantom

A programming language for distributed programmming.