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 | 13073 reads
|
Browse archives
Active forum topics
|
Recent comments
9 weeks 5 days ago
14 weeks 6 hours ago
15 weeks 4 days ago
15 weeks 4 days ago
18 weeks 2 days ago
22 weeks 6 days ago
22 weeks 6 days ago
23 weeks 2 days ago
23 weeks 2 days ago
26 weeks 1 day ago