User loginNavigation 
A question about subtypes inferenceHi I am looking for information on subtype inference. Consider a type system with a sub rule: E,C e:sigma Csigma :sigma' Here E is the type environment and C is the (initially empty) subtype constraint set. And a set of rules for infering constrainst from sigma:sigma' depending on the underlying type of sigma. (it is a structural type system). My question is, after my type inference assigns type sigmaâ€™ to e, how do I choose sigmaâ€™, as to find the correct underlying constraints. I looked and asked around. Some suggested using a copy of sigma, I find this odd because I donâ€™t see why, and how this would produce the needed type constraints. I would be grateful for either a article explaining this matter or pointers to the underlying idea. R.K. BTW this is the article Iâ€™m working on By kilrati at 20050729 16:52  LtU Forum  previous forum topic  next forum topic  other blogs  4896 reads

Browse archivesActive forum topics
New forum topics

Recent comments
7 hours 37 min ago
7 hours 48 min ago
1 day 13 hours ago
6 days 20 hours ago
1 week 1 day ago
2 weeks 5 days ago
3 weeks 4 days ago
4 weeks 4 days ago
6 weeks 2 days ago
6 weeks 5 days ago