Yuya Tsuda | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Vasco T. Vasconcelos
16 publications
Peter Thiemann
15 publications
Atsushi Igarashi
14 publications
Philip Wadler
5 publications
Tomoya Tabuchi
1 publication

research

∙ 08/07/2019

Space-Efficient Gradual Typing in Coercion-Passing Style

Herman et al. (2007, 2010) pointed out that the insertion of run-time ch...

0 Yuya Tsuda, et al. ∙

research

∙ 09/15/2018

Gradual Session Types

Session types are a rich type discipline, based on linear types, that li...

0 Atsushi Igarashi, et al. ∙