We discuss two projects, a low-level, type-safe language called ``Clay'' and an exploration of safe ``remote pointers'' to support a process analogy in type-safe languages.
