User loginNavigation |
Algorithms for inferring most specific types?In my reading so far on ML type inference algorithms, the object seems to be to infer the most general type of expressions. If I have the terminology correct this is the "principal type". Can someone point me at algorithms for inferring the most-specific or least-general types in ML programs? I'm interested in analysis methods, type inference being one of them, for find information about a program. So rather than most general types to encourage reuse of code, I'd like to find the most-specific types to see exactly and only the way the functions are being used in a program. thanks in advance! By billtohara at 2009-10-12 19:34 | LtU Forum | previous forum topic | next forum topic | other blogs | 4766 reads
|
Browse archives
Active forum topics |
Recent comments
5 weeks 5 days ago
5 weeks 5 days ago
5 weeks 5 days ago
11 weeks 5 days ago
52 weeks 10 hours ago
52 weeks 13 hours ago
52 weeks 14 hours ago
1 year 22 weeks ago
1 year 26 weeks ago
1 year 27 weeks ago