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 | 12907 reads
|
Browse archivesActive forum topics |
Recent comments
4 days 16 hours ago
1 week 2 days ago
1 week 3 days ago
1 week 3 days ago
2 weeks 1 day ago
2 weeks 4 days ago
2 weeks 4 days ago
2 weeks 4 days ago
3 weeks 6 days ago
4 weeks 1 day ago