|type inference of recursive types email@example.com (Joel F. Klein) (1999-12-01)|
|Re: type inference of recursive types firstname.lastname@example.org (Martin Okrslar) (1999-12-04)|
|From:||Martin Okrslar <email@example.com>|
|Date:||4 Dec 1999 22:31:51 -0500|
|Organization:||Department of Computer Sciences, University of Munich|
I do not know if this is what you are looking for, but Hans Leiss an Martin
Emms did some research in polymorph rcursin in ML. Take a look at
Joel F. Klein wrote:
> I'm trying to add support for recursive types to a compiler whose language
> is based on typed lambda calculus, sort of akin to ML. Does anyone have
> pointers to literature on implementing type inference for recursive types?
Return to the
Search the comp.compilers archives again.