[Prev][Next][Index][Thread]

Decidable polymorphic recursion?



Hi!

Does anybody know of any work on type systems which are somewhere in
between the Damas-Milner and the Milner-Mycroft calculus in strength? What
I am looking for is a type system for which we can infer the types but
still gives some kind of (but of course not full) polymorphic recursion.
Any pointers appreciated.

	/Josef