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  6002 reads

Browse archives
Active forum topics 
Recent comments
13 weeks 12 hours ago
13 weeks 15 hours ago
13 weeks 16 hours ago
35 weeks 1 day ago
39 weeks 3 days ago
41 weeks 23 hours ago
41 weeks 23 hours ago
43 weeks 5 days ago
48 weeks 3 days ago
48 weeks 3 days ago