引用人 5 -
引用人 交叉引用引用 这本书已经 以下出版物引用。 此列表是根据提供的数据生成的 交叉参考 .
马修·弗莱特 迈克·雷尼 约翰,雷皮 和 亚当·肖 2010. Manticore中的隐式线程并行 . 函数编程杂志, 第20卷, 发布。 5-6, 第页。 537
大卫·麦奎因 罗伯特·哈珀 和 约翰·雷皮 2020 标准ML的历史 . 美国计算机学会程序设计语言会议录, 第4卷, 发布。 HOPL公司, 第页。 1.
卡冯·法瓦尔丁 和 约翰·雷皮 2020 新泽西州标准ML的新后端 . 第页。 55
马丁·埃尔斯曼 2023 基于区域的类型多态程序的垃圾收集安全 . 美国计算机学会程序设计语言会议录, 第7卷, 发布。 PLDI、, 第页。 221
弗拉基米尔·布罗佐维奇 丹科·科齐克 里诺·博斯尼亚克 和 斯雷科·克里尔 2023 使用彩色Petri网实施国际海上避碰规则 . 海洋科学与工程杂志, 第11卷, 发布。 7, 第页。 1322
出版商: 剑桥大学出版社 在线发布日期: 2012年8月 打印出版年份: 2004 在线ISBN: 9780511546846
学科: -
计算机科学 , 程序设计语言与应用逻辑