Detail

TyCO – Typed Concurrent Objects (version 0.4)

TyCO – Typed Concurrent Objects, is an implicitly typed polymorphic concurrent language based on an extension of the asynchronous pi-calculus featuring first class objects, asynchronous messages and process definitions. Definitions allow, among other things, for object classes to be modeled. A type system assigns monomorphic types to variables and polymorphic types to definition identifiers. TyCO provides a very clean model for a concurrent object-based language which combines the benefits of the formal framework of process calculi with the characteristics of Hewitt’s actor system.