Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)
| Title | Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051) |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Gay, S., V. T. Vasconcelos, P. Wadler, and N. Yoshida |
| Conference Name | Dagstuhl Reports |
| Publisher | Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik |
