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 objectoriented, formal specification language, typically used to model missioncritical 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 20061101 12:06  LtU Forum  previous forum topic  next forum topic  other blogs  10175 reads

Browse archivesActive forum topics 
Recent comments
2 weeks 22 hours ago
2 weeks 1 day ago
2 weeks 1 day ago
2 weeks 1 day ago
2 weeks 1 day ago
2 weeks 1 day ago
2 weeks 3 days ago
2 weeks 5 days ago
3 weeks 2 days ago
3 weeks 3 days ago