计算机科学>编程语言
职务: 交叉口类型和相关系统第六次研讨会论文集
摘要: 本卷包含交叉口类型和相关系统第六次研讨会(ITRS 2012)的会议记录。 该研讨会于2012年6月29日在杜布罗夫尼克(克罗地亚)举行,隶属于第二十七届ACM/IEEE计算机科学逻辑研讨会(LICS 2012)。 ITRS研讨会旨在汇集研究基于交集类型和相关方法(例如,联合类型、细化类型、行为类型、递归类型等)的系统理论和实际应用的研究人员。