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
|