Type Inference

Ivan Tomek ivan.tomek at acadiau.ca
Thu Sep 14 17:06:42 UTC 2000


Hi Roel,

Is some of what you are describing publicly available? SOUL and your own 
work?

Ivan


> 
> Using SOUL (our logic programming language implemented in Smalltalk) I have
> implemented some lightweight typing rules. This is part of the experiments for
> my (upcoming) dissertation, where I wanted to express simple UML class diagrams
> (to extract them from the code and to generate code from them). I needed this to
> determine associations between classes.
> 
> --
> Roel Wuyts

Ivan Tomek,
Jodrey School of Computer Science
Acadia University
Nova Scotia, Canada

fax: (902) 585-1067
voice: (902) 585-1467
e-mail: ivan.tomek at acadiau.ca





More information about the Squeak-dev mailing list