I am a master's course student in Computer Software Group, Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University.
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, and Philip Wadler. Gradual session types. CoRR, abs/1809.05649, 2018.
[ arXiv ]
- Yuya Tsuda (津田 優也 in Japanese)
- Email: Add '[at (@)] fos.kuis.kyoto-u.ac.jp' after 'tsuda'.