第条

维度类型

作者:

安得烈肯尼迪作者信息和声明

94年ESOP：第五届欧洲程序设计研讨会论文集：程序设计语言和系统

页348-362

出版:1994年4月11日出版历史

摘要

没有可用的摘要。

引用人

查看全部

Tsoutsouras五世威利斯S斯坦利·马贝尔P(2021)使用维函数综合从传感器数据导出方程ACM通信10.1145/346521664:7(91-99)在线发布日期：2021年6月21日
https://dl.acm.org/doi/10.1145/3465216
梁X伯恩斯J桑切斯J丹图K齐亚雷克L刘毅(2021)了解安全关键型无人机软件中的边界功能第43届软件工程国际会议论文集10.1109/ICSE43902.2021.00119(1311-1322)在线发布日期：2021年5月22日
https://dl.acm.org/doi/10.109/ICSE43902.2021.00119
王毅威利斯STsoutouras五世斯坦利·马贝尔P(2019)利用维函数综合从传感器数据导出方程嵌入式计算系统ACM事务10.1145/335821818：5秒(1-22)在线发布日期：2019年10月8日
https://dl.acm.org/doi/10.1145/3358218
显示更多引用者

建议

MLF的合格类型
第十届ACM SIGPLAN功能编程国际会议记录

MLF是一种类型系统，它扩展了一种具有非独立秩的函数语言-n个多态性。类型推断仍然是可能的，并且只有在一些明确定义的情况下，才需要局部类型注释。限定类型是一个通用概念。。。
MLF的合格类型
ICFP’05：第十届ACM SIGPLAN功能编程国际会议记录

MLF是一种类型系统，它扩展了一种具有非独立秩的函数语言-n个多态性。类型推断仍然是可能的，并且只有在一些明确定义的情况下，才需要局部类型注释。限定类型是一个通用概念。。。
Boxy类型：针对较高银行类型和无效性的推断
ICFP’06：第十一届ACM SIGPLAN功能编程国际会议记录

具有丰富类型系统的语言开始采用混合类型推理和类型检查，以便类型推理引擎由程序员提供的类型注释指导。在本文中，我们首次展示了如何将。。。

信息和贡献者

问询处

发布于

94年ESOP：第五届欧洲程序设计研讨会论文集：程序设计语言和系统

1994年4月

516页

国际标准图书编号：3540578803

编辑：
唐纳德·桑内拉

出版商

Springer-Verlag公司

柏林，海德堡

出版历史

出版：1994年4月11日

限定符

第条

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

20
引文总数
查看引文
0
总下载次数

下载次数（过去12个月）0
下载次数（最近6周）0

反映截至2024年9月17日的下载量

其他指标

查看作者指标

引文

引用人

查看全部

Tsoutouras五世威利斯S斯坦利·马贝尔P(2021)使用维函数综合从传感器数据导出方程ACM通信10.1145/346521664:7(91-99)在线发布日期：2021年6月21日
https://dl.acm.org/doi/10.1145/3465216
梁X伯恩斯J桑切斯J丹图K齐亚雷克L刘毅(2021)了解安全关键型无人机软件中的边界功能第43届软件工程国际会议论文集10.1109/ICSE43902.2021.00119(1311-1322)在线发布日期：2021年5月22日
https://dl.acm.org/doi/10.109/ICSE43902.2021.00119
王毅威利斯STsoutouras五世斯坦利·马贝尔P(2019)利用维函数综合从传感器数据导出方程嵌入式计算系统ACM事务10.1145/335821818：5秒(1-22)在线发布日期：2019年10月8日
https://dl.acm.org/doi/10.1145/3358218
本尼希·比约克曼O麦基弗S皮尔斯D梅耶霍夫T斯泰曼F(2018)接下来的700个测量单位检查器第十一届ACM SIGPLAN软件语言工程国际会议论文集10.1145/3276604.3276613(121-132)在线发布日期：2018年10月24日
https://dl.acm.org/doi/10.1145/3276604.3276613
卡罗尔S净T卡斯特里隆J斯巴尔扎里尼一世(2018)并行粒子方法的领域专用语言和编辑器ACM数学软件汇刊10.1145/317565944:3(1-32)在线发布日期：2018年3月23日
https://dl.acm.org/doi/101145/3175659网址
Legatiuk D公司尼尔森H齐默D巴赫曼B(2017)抽象建模第八届基于等式的面向对象建模语言和工具国际研讨会论文集10.1145/3158191.3158202(61-64)在线发布日期：2017年12月1日
https://dl.acm.org/doi/10.1145/3158191.3158202
格里菲翁P拉梅尔R(2015)带维数向量空间的数组编程的类型推理第27届函数式编程语言实现与应用研讨会会议记录10.1145/2897336.2897341(1-12)在线发布日期：2015年9月14日
https://dl.acm.org/doi/10.1145/2897336.2897341
向J骑士J沙利文K(2015)现实世界类型及其应用第34届计算机安全、可靠性和安全国际会议记录-第9337卷10.1007/978-3-319-24255-2_34(471-484)在线发布日期：2015年9月23日
https://dl.acm.org/doi/10.1007/978-3-319-24255-2_34
Atkey R公司(2014)通过Noether定理从参数到守恒定律ACM SIGPLAN通知10.1145/2578855.253586749:1(491-502)在线发布日期：2014年1月8日
https://dl.acm.org/doi/10.1145/2578855.2535867
Atkey R公司Jagannathan S公司Sewell P公司(2014)从参数性到守恒定律，通过Noether定理第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录10.1145/2535838.2535867(491-502)在线发布日期：2014年1月11日
https://dl.acm.org/doi/10.1145/2535838.2535867
显示更多引用者

引用人

建议

MLF的合格类型

MLF的合格类型

Boxy类型：针对较高银行类型和无效性的推断

评论

发布于

出版商

出版历史

限定符

其他指标

文章指标

其他指标

引用人

登录选项

完全访问权限

摘要

引用人

建议

MLF的合格类型

MLF的合格类型

Boxy类型：针对较高银行类型和无效性的推断

评论

问询处

发布于

出版商

出版历史

限定符

贡献者

其他指标

文献计量学

文章指标

其他指标

引文

引用人

查看选项

获取访问权限

登录选项

完全访问权限

数字

其他

分享

共享此出版物链接

在社交媒体上分享

附属公司