Prototypes details

  • 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.
  • 01 Apr 2004
  • http://http://www.dcc.fc.up.pt/projectos/tyco/
  • HervĂ© Paulino, Vasco Vasconcelos, Francisco Martins