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

Question: typing with set of most general unifiers




I would like to find out if there has been any work done on type
inference algorithms using a finite set of most general unifiers
rather than a single mgu.  While I'm sure that I've never seen or
heard of any, and that the problem itself seems difficult at best, I
would just like to make sure.

Thank you.

Simon Courtenage
King's College London
http://www.dcs.kcl.ac.uk/staff/simonc/simon.html