The E programming language
The E programming language is designed for developers who write distributed applications. It builds on the strength of Sun’s Java language, an open standard that already provides some flexibility for developers writing World Wide Web applets. The E language improves on Java’s security model and provides other powerful communications-oriented features. These include: distributed communication, capability semantics, optimistic computation.