Publications

Export 2 results:
Filters: Author is Gay, Simon  [Clear All Filters]
2017
Gay, S., V. T. Vasconcelos, P. Wadler, and N. Yoshida, "Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)", Dagstuhl Reports, vol. 7, no. 1: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017.
2007
Gay, S., and V. T. Vasconcelos, "Asynchronous functional session types", Journal article, University of Glasgow, 2007.