Publications

Export 3 results:
Filters: Author is Thiemann, Peter  [Clear All Filters]
2017
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.
2016
Thiemann, P., and V. T. Vasconcelos, "Context-free session types", Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming: ACM, pp. 462–475, 2016.
2014
Bartoletti, M., I. Castellani, P-M. Deniélou, M. Dezani-ciancaglini, S. Ghilezan, J. Pantović, J. A. Pérez, P. Thiemann, B. Toninho, and H. Torres Vieira, BETTY WG2 State of the art report, , 2014.