加载中…
2017-02-07
Proceedings Eighth Workshop on Intersection Types and Related Systems
Naoki Kobayashi
文献摘要
This volume contains a final and revised selection of papers presented at the Eighth Workshop on Intersection Types and Related Systems (ITRS 2016), held on June 26, 2016 in Porto, in affiliation with FSCD 2016.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本