Export 2 results:
Filters: Author is Wadler, Philip  [Clear All Filters]
Igarashi, A., P. Thiemann, V. T. Vasconcelos, and P. Wadler, "Gradual session types", Proceedings of the ACM on Programming Languages, vol. 1, no. ICFP: ACM, pp. 38, 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.