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

Matthias Fischmann <fis@mpi-sb.mpg.de>
18 Jun 1998 11:09:51 -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: Matthias Fischmann <fis@mpi-sb.mpg.de>
Newsgroups: comp.compilers
Date: 18 Jun 1998 11:09:51 -0400
Organization: CIP-Pool der Philosophischen Fakultaet der Universitaet des Saarlandes
References: 98-06-021
Keywords: types

  Hi Jake,


'A theory of objects' by Abadi and Cardelli could help. They start
with presenting object oriented concepts and then abstract them to
something like an object oriented lambda calculus, where they also do
type checking.


There are references to algorithms, but since this is kind of a hot
topic in type theory at the moment, you should also try a web search.




hope this helps,
  Matthias






Jake Donham <donham@linex.com> writes:
> I'm interested in research into doing type-inference for languages
> with dynamic method dispatch
--
Max-Planck-Institut für Informatik | Deutsches Forschungszentrum für KI
fis@mpi-sb.mpg.de | fischman@dfki.de
http://www.mpi-sb.mpg.de/~fis |




--


Post a followup to this message

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