User loginNavigation |
Type inference and union typesHi, Please be gentle with me, this is my first post :-) I am currently writing my master thesis (CS) on the topic of adding type inference to the formal specification language VDM++. VDM++ is an object-oriented, formal specification language, typically used to model mission-critical systems. The syntax is mathematically oriented, using a lot of abstract constructs such as sets, sequences, maps and unions as well as more widespread language constructs. If anyone is interested in the language spec, it can be found here: Anyway, to my question... There seems to be plenty written on intersection types, but union types and ways to statically handle these seem quite scarce. By Thomas_C at 2006-11-01 12:06 | LtU Forum | previous forum topic | next forum topic | other blogs | 12830 reads
|
Browse archives
Active forum topics |
Recent comments
1 week 4 days ago
5 weeks 5 days ago
6 weeks 2 days ago
6 weeks 2 days ago
8 weeks 2 days ago
8 weeks 2 days ago
8 weeks 5 days ago
8 weeks 5 days ago
9 weeks 5 days ago
10 weeks 4 days ago