A heterogeneous-systems programming language that puts placement and reachability in the type system.
Read in full here:
