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 | 13252 reads
|
Browse archives
Active forum topics |
Recent comments
12 weeks 1 day ago
12 weeks 1 day ago
12 weeks 1 day ago
34 weeks 2 days ago
38 weeks 4 days ago
40 weeks 2 days ago
40 weeks 2 days ago
42 weeks 6 days ago
47 weeks 4 days ago
47 weeks 4 days ago