Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)

Simon Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida, Marc Herbstritt
2017 Dagstuhl Reports  
This report documents the programme and the outcomes of Dagstuhl Seminar 17051 "Theory and Applications of Behavioural Types". Behavioural types describe the dynamic aspects of programs, in contrast to data types, which describe the fixed structure of data. Perhaps the most well-known form of behavioural types is session types, which are type-theoretic specifications of communication protocols. More generally, behavioural types include typestate systems, which specify state-dependent
more » ... y of operations; choreographies, which specify collective communication behaviour; and behavioural contracts. In recent years, research activity in behavioural types has increased dramatically, in both theoretical and practical directions. Theoretical work has explored new relationships between established behavioural type systems and areas such as linear logic, automata theory, process calculus testing theory, dependent type theory, and model-checking. On the practical side, there are several implementations of programming languages, programming language extensions, software development tools, and runtime monitoring systems, which are becoming mature enough to apply to real-world case studies.
doi:10.4230/dagrep.7.1.158 dblp:journals/dagstuhl-reports/GayVWY17 fatcat:nl4mfyez5bchrdomocb6qsfpkq