From CaesarJ Homepage
ProgrammingGuide: DependentTypes
<<
Virtual Classes
|
Contents
|
Composing Collaborations
>>
Dependend Types
to be done - for now, see
this section
in the language specification
Retrieved from http://caesarj.org/index.php/ProgrammingGuide/DependentTypes
Page last modified on April 15, 2005, at 07:50 PM