第条免费访问 在上共享 子类型化约束类型 作者: 瓦列里·特里福诺夫 查看个人资料 , 斯科特·史密斯 查看个人资料 作者信息和声明 SAS’96:第三届静态分析国际研讨会论文集1996年9月第349-365页出版:1996年9月24日出版历史 SAS’96:第三届静态分析国际研讨会论文集对受约束的类型进行子类型划分第349-365页 上一个第章下一步第章 摘要没有可用的摘要。 引用人查看全部 建议 关于子类型、通配符和存在类型2009年FTfJP:第11届类Java程序形式化技术国际研讨会会议记录 通配符是Java类型系统中经常令人困惑的部分:由于通配符捕获,通配符类型的行为没有完全由子类型指定,并且类型检查的规则经常被误解。他们的配方似乎“。。。阅读更多信息子类型递归类型 我们研究了简单类型λ-演算中子类型和递归类型的相互作用。这里的两个基本问题是,子类型关系中是否有两个(递归)类型,以及术语是否有类型。为了回答第一个问题。。。阅读更多信息f有界量词和等递归类型的子类型逻辑和程序语义 <em>等递归类型</em>将递归类型视为等于其展开,并且没有显式的术语级强制来将术语的类型从前者更改为后者,反之亦然。此等式使决定类型相等和子类型。。。阅读更多信息 评论 Please enable JavaScript to view thecomments powered by Disqus. 登录选项检查您是否可以通过登录凭据或您的机构访问本文。登录完全访问权限获取此出版物 问询处贡献者发布于 SAS’96:第三届静态分析国际研讨会论文集1996年9月387页国际标准图书编号:3540617396编辑:拉迪亚·库索特,大卫·A·施密特 赞助商合作中出版商Springer-Verlag公司柏林,海德堡 出版历史 出版:1996年9月24日 限定符第条会议 资金来源 其他指标查看文章指标文献计量学引文38文章度量标准38引文总数查看引文0总下载次数下载次数(过去12个月)0下载次数(最近6周)0其他指标查看作者指标引用人查看全部数字版以数字版本查看这篇文章。查看数字版数字其他共享此出版物链接https://dl.acm.org/doi/10.5555/647165.717846复制链接在社交媒体上分享 在上共享 0工具书类