Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)

TitleTheory and Applications of Behavioural Types (Dagstuhl Seminar 17051)
Publication TypeConference Paper
Year of Publication2017
AuthorsGay, S., V. T. Vasconcelos, P. Wadler, and N. Yoshida
Conference NameDagstuhl Reports
PublisherSchloss Dagstuhl-Leibniz-Zentrum fuer Informatik