digitalmars.D - Behavioural types
- "Ola Fosheim =?UTF-8?B?R3LDuHN0YWQi?= (8/8) Jan 06 2015 Since D is experimenting with behavioural typing, it might be
Since D is experimenting with behavioural typing, it might be nice to get an overview of the state of the art. Which is what survey papers are for: http://www.behavioural-types.eu/publications/WG1-State-of-the-Art.pdf http://www.behavioural-types.eu/publications/WG2-State-of-the-Art.pdf http://www.behavioural-types.eu/publications/WG3-State-of-the-Art.pdf http://www.behavioural-types.eu/publications Any thoughts?
Jan 06 2015