TyCO

(and Distributed TyCO): Typed Concurrent Objects, an implicitly typed polymorphic concurrent language based on an extension of the asynchronous pi-calculus (version 0.4.1, 2005).