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