Behavioural types

[via Digitalmars-d]

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?