Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida. Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). Dagstuhl Reports, 7(1):158-189, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.