Takip et
Yuya Tsuda
Yuya Tsuda
Graduate School of Informatics, Kyoto University
fos.kuis.kyoto-u.ac.jp üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Gradual session types
A Igarashi, P Thiemann, Y Tsuda, VT Vasconcelos, P Wadler
Journal of Functional Programming 29, 2019
172019
Space-Efficient Gradual Typing in Coercion-Passing Style
Y Tsuda, A Igarashi, T Tabuchi
arXiv preprint arXiv:1908.02414, 2019
32019
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–2