• "Ola Fosheim =?UTF-8?B?R3LDuHN0YWQi?= (8/8) Jan 06 2015 Since D is experimenting with behavioural typing, it might be

"Ola Fosheim =?UTF-8?B?R3LDuHN0YWQi?= writes:

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?