Yuya Tsuda

I am a master's course student in Computer Software Group, Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University.

Publications

Preprints

  1. Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, and Philip Wadler. Gradual session types. CoRR, abs/1809.05649, 2018. [ arXiv ]

Papers

Contact