Re: refs on type inference in object-oriented languages?

Joachim Durchholz <joachim.durchholz@munich.netsurf.de>
11 Jun 1998 16:57:37 -0400

          From comp.compilers
Related articles
refs on type inference in object-oriented languages? donham@linex.com (Jake Donham) (1998-06-09)
Re: refs on type inference in object-oriented languages? joachim.durchholz@munich.netsurf.de (Joachim Durchholz) (1998-06-11)
Re: refs on type inference in object-oriented languages? mcdirmid@beaver.cs.washington.edu (1998-06-11)
Re: refs on type inference in object-oriented languages? hind@mcs.newpaltz.edu (1998-06-11)
Re: refs on type inference in object-oriented languages? fis@mpi-sb.mpg.de (Matthias Fischmann) (1998-06-18)
| List of all articles for this month |
From: Joachim Durchholz <joachim.durchholz@munich.netsurf.de>
Newsgroups: comp.compilers
Date: 11 Jun 1998 16:57:37 -0400
Organization: Compilers Central
References: 98-06-021
Keywords: OOP, types

Jake Donham wrote:
>
> I'm interested in research into doing type-inference for languages
> with dynamic method dispatch... Can anyone recommend
> some references?


GNU Eiffel does this for optimization purposes (so it doesn't attempt to
resolve everything but seems to get pretty far anyway). It was written
and is being maintained by a group around Dominique Colnet (U of
Grenoble I think, in France). I don't have a URL handy, but the email
address is colnet@loria.fr.


Regards,
Joachim
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.