×

找到19个文档（结果1-19）

最新的 引文 关联
周耀达;布鲁诺·C·d·S·奥利维拉。;范安东

具有递归类型、记录串联和子类型的演算。 （英语） Zbl 1524.68107号

谢尔盖，伊利亚（编辑），《编程语言和系统》。第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13658, 175-195 (2022).
MSC公司：68号30 68甲18 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Zhou}等人，Lect。注释计算。科学。13658、175--195（2022年；Zbl 1524.68107）
全文： 内政部
安布罗斯邦奈尔-谢根;戴维斯，罗文;萨姆·托宾·霍施塔特

Clojure的实用可选类型。 （英语） Zbl 1335.68025号

Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-662-49498-1/电子书）。计算机科学讲座笔记9632，68-94（2016）。
MSC公司：68甲15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Bonnaire-Sergiant}等人，Lect。注释计算。科学。9632、68--94（2016年；Zbl 1335.68025）
全文： 内政部 arXiv公司
鲁本·罗;范·贝克尔（Van Bakel，Steffen）

面向对象编程的近似语义和表达式谓词赋值（扩展抽象）。 （英语） 兹比尔1331.68046

Ong，Luke（编辑），《键入lambda calculi和应用》。2011年6月1日至3日在塞尔维亚诺维萨德举行的2011年TLCA第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21690-9/pbk；978-3-662-21691-6/电子书）。计算机科学讲座笔记6690229-244（2011）。
MSC公司：68甲18 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{R.Rowe}和\textit{S.Van Bakel}，莱克特。注释计算。科学。6690、229--244（2011；Zbl 1331.68046）
全文： 内政部
劳伦特·达米

标记的减少、运行时错误和操作包含。 （英语） Zbl 1401.68031号

Degano，Pierpaolo（编辑）等人，《自动化，语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/ebook）。计算机科学课堂讲稿1256782-793（1997）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{L.Dami}，莱克特。注释计算。科学。1256782-793（1997年；兹bl 1401.68031）
全文： 内政部 链接
马丁·阿巴迪;卢卡·卡德利

命令式对象演算。 （英语） Zbl 1496.68098号

Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。915, 471-485 (1995).
MSC公司：68号30 03B70号 68甲15 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{M.Abadi}和\textit{L.Cardelli}，莱克特。注释计算。科学。915471-485（1995年；Zbl 1496.68098）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件