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

  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 |




--

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