Type Inference
Ivan Tomek
ivan.tomek at acadiau.ca
Thu Sep 14 17:09:14 UTC 2000
Oops, sorry. I see that there is a link on your Web page.
Ivan
> 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
>
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
|