计算机协会：查询关键字搜索

计算机协会：查询关键字搜索图书/期刊关键词搜索结果：POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录——与关键词搜索查询匹配的新结果（每日更新）。 https://dl.acm.org/action/doSearch？type=advanced&af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevance 计算机协会：查询关键字搜索计算机协会英语-美国 Atypon系统 http://www.atypon.com/images/atypon_logo_small.gif http://www.atypon.com网站带类型推理的一类多态性 https://dl.acm.org/doi/abs/10.1145/263699.263765？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第483-496页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第483-496页 数字对象标识代码：10.1145/263699.263765 1997年1月1日T08:00:00Z 带类型推理的一类多态性 483 496 1997年1月1日T08:00:00Z 10.1145/263699.263765 https://dl.acm.org/doi/abs/10.1145/263699.263765？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey PolyP-一种多类型编程语言扩展 https://dl.acm.org/doi/abs/10.1145/263699.263763？af=R&ConceptID=392&ContentGroupKey=10.1145%2F2263699&content=standard&target=topic&sortBy=相关性 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第470-482页 POPL’97：第24届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，第470-482页 数字对象标识代码：10.1145/263699.263763 1997年1月1日T08:00:00Z PolyP-一种多类型编程语言扩展 470 482 1997年1月1日T08:00:00Z 10.1145/263699.263763 https://dl.acm.org/doi/abs/10.1145/263699.263763？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 高级阅读和数据结构编译 https://dl.acm.org/doi/abs/10.1145/263699.263762？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第456-469页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第456-469页 数字对象标识代码：10.1145/263699.263762 1997年1月1日T08:00:00Z 高级阅读和数据结构编译 456 469 1997年1月1日T08:00:00Z 10.1145/263699.263762 https://dl.acm.org/doi/abs/10.1145/263699.263762？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 关系参数和度量单位 https://dl.acm.org/doi/abs/10.1145/263699.263761？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第442-455页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第442-455页 数字对象标识代码：10.1145/263699.263761 1997年1月1日T08:00:00Z 关系参数和度量单位 442 455 1997年1月1日T08:00:00Z 10.1145/263699.263761 https://dl.acm.org/doi/abs/10.1145/263699.263761？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 无限控制流分析 https://dl.acm.org/doi/abs/10.1145/263699.263745？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第332-345页 POPL’97：第24届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，第332-345页 数字对象标识代码：10.1145/263699.263745 1997年1月1日T08:00:00Z 无限控制流分析 332 345 1997年1月1日T08:00:00Z 10.1145/263699.263745 https://dl.acm.org/doi/abs/10.1145/263699.263745？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 类型作为抽象解释 https://dl.acm.org/doi/abs/10.1145/263699.263744？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第316-331页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第316-331页 数字对象标识代码：10.1145/263699.263744 1997年1月1日T08:00:00Z 类型作为抽象解释 316 331 1997年1月1日T08:00:00Z 10.1145/263699.263744 https://dl.acm.org/doi/abs/10.1145/263699.263744？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 类型检查高阶多态多方法 https://dl.acm.org/doi/abs/10.1145/263699.263743？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第302-315页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第302-315页 doi:10.145/263699.263743 1997年1月1日T08:00:00Z 类型检查高阶多态多方法 302 315 1997年01月01日08时00分 10.1145/263699.263743 https://dl.acm.org/doi/abs/10.1145/263699.263743？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 继承类型理论中的类型化算法 https://dl.acm.org/doi/abs/10.1145/263699.263742？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第292-301页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第292-301页 数字对象标识代码：10.1145/263699.263742 1997年1月1日T08:00:00Z 继承类型理论中的类型化算法 292 301 1997年1月1日T08:00:00Z 10.1145/263699.263742 https://dl.acm.org/doi/abs/10.1145/263699.263742？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 原子子类型中的最小类型 https://dl.acm.org/doi/abs/10.1145/263699.263738？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第278-291页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第278-291页 数字对象标识代码：10.1145/263699.263738 1997年1月1日T08:00:00Z 原子子类型中的最小类型 278 291 1997年1月1日T08:00:00Z 10.1145/263699.263738 https://dl.acm.org/doi/abs/10.1145/263699.263738？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 带控制的函数计算的Curry-Howard基础 https://dl.acm.org/doi/abs/10.1145/263699.263722？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第215-227页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第215-227页 数字对象标识代码：10.1145/263699.263722 1997年1月1日T08:00:00Z 带控制的函数计算的Curry-Howard基础 215 227 1997年01月01日08时00分 10.1145/263699.263722 https://dl.acm.org/doi/abs/10.1145/263699.263722？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 披萨到爪哇 https://dl.acm.org/doi/abs/10.1145/263699.263715？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第146-159页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第146-159页 数字对象标识代码：10.1145/263699.263715 1997年1月1日T08:00:00Z 披萨到爪哇 146 159 1997年1月1日T08:00:00Z 10.1145/263699.263715 https://dl.acm.org/doi/abs/10.1145/263699.263715？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey “准时”=“迟到总比不到好”吗？ https://dl.acm.org/doi/abs/10.1145/263699.263713？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第120-131页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第120-131页 数字对象标识代码：10.1145/263699.263713 1997年1月1日T08:00:00Z “准时”=“迟到总比不到好”吗？ 120 131 1997年1月1日T08:00:00Z 10.1145/263699.263713 https://dl.acm.org/doi/abs/10.1145/263699.263713？af=R&ConceptID=392&ContentGroupKey=10.1145%2F2263699&content=standard&target=topic&sortBy=相关性防卡密码 https://dl.acm.org/doi/abs/10.1145/263699.263712？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，第106-119页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第106-119页 数字对象标识代码：10.1145/263699.263712 1997年1月1日T08:00:00Z 防卡密码 106 119 1997年1月1日T08:00:00Z 10.1145/263699.263712 https://dl.acm.org/doi/abs/10.1145/263699.263712？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 函数和逻辑程序设计的统一计算模型 https://dl.acm.org/doi/abs/10.1145/263699.263710？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第80-93页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第80-93页 数字对象标识代码：10.1145/263699.263710 1997年1月1日T08:00:00Z 函数和逻辑程序设计的统一计算模型 80 93 1997年1月1日T08:00:00Z 10.1145/263699.263710 https://dl.acm.org/doi/abs/10.1145/263699.263710？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 滚动您自己的可变ADT—线性类型和单子之间的连接 https://dl.acm.org/doi/abs/10.1145/263699.263708？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第54-66页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第54-66页 数字对象标识代码：10.1145/263699.263708 1997年1月1日T08:00:00Z 滚动您自己的可变ADT—线性类型和单子之间的连接 54 66 1997年1月1日T08:00:00Z 10.1145/263699.263708 https://dl.acm.org/doi/abs/10.1145/263699.263708？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey 形状类型 https://dl.acm.org/doi/abs/10.1145/263699.263706？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey POPL’97：第24届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，第27-39页 POPL’97：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第27-39页 数字对象标识代码：10.1145/263699.263706 1997年1月1日T08:00:00Z 形状类型 27 39 1997年1月1日T08:00:00Z 10.1145/263699.263706 https://dl.acm.org/doi/abs/10.1145/263699.263706？af=R&ConceptID=392&ContentGroupKey=10.1145%2F263699&content=standard&target=topic&sortBy=relevancey