Public Professor Archive
名古屋大学 · 情報学部 / 情報学研究科 · 教授
研究关键词reversible programming・concurrent languages・session types・data flow analysis・go concurrency・process calculi
以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。
个性化匹配理由、联系角度与收藏保存需要登录后使用。
