Authors
Advisor(s)
Abstract(s)
This is the second report on TyCO, a (still) experimental strongly and implicitly typed concurrent object oriented programming language based on a predicative polymorphic calculus of objects, featuring asynchronous messages, objects, and process declarations, together with a predicative polymorphic type system
Description
Keywords
Pedagogical Context
Citation
Publisher
Department of Informatics, University of Lisbon