×

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

最新的 引文 关联
罗汉·雅各布·劳;碧姬·品特卡;大卫·希伯多

指数分层类型。 （英语） Zbl 1462.68021号

Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。108，第19条，第17页（2018年）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{R.Jacob-Rao}等人，LIPIcs——莱布尼茨国际程序。通知。108，第19条，第17页（2018；Zbl 1462.68021）
全文： 内政部 arXiv公司
大卫·希伯多;安德鲁·凯夫;碧姬·品特卡

索引的代码数据类型。 （英语） Zbl 1360.68342号

Garrigue，Jacques（ed.）等人，《第21届ACM SIGPLAN功能编程国际会议论文集》，2016年9月18日至22日，日本奈良，ICFP’16。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4219-3）。351-363（2016年）。
MSC公司：68甲18 第68页第15页 68第05页 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Thibodeau}等人，in：第21届ACM SIGPLAN函数编程国际会议论文集，2016年9月18日至22日，日本奈良ICFP’16。纽约州纽约市：计算机协会（ACM）。351--363（2016年；Zbl 1360.68342）
全文： 内政部
安东·塞泽尔;安德烈亚斯·亚贝尔;碧姬·品特卡;大卫·希伯多

取消copatterns嵌套。 （英语） Zbl 1416.68048号

Dowek，Gilles（编辑），重写并键入lambda calculi。2014年7月14日至17日在奥地利维也纳举行的RTA-TLCA 2014联合国际会议，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8560，31-45（2014年）。
MSC公司：68甲18 第68季度第65季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Setzer}等人，Lect。注释计算。科学。8560，31-45（2014；Zbl 1416.68048）
全文： 内政部 链接
安德烈亚斯·亚贝尔;碧姬·品特卡;大卫·希伯多;安东·塞泽尔

Copatterns，通过观察编程无限结构。 （英语） Zbl 1301.68080号

2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。27-38 (2013).
MSC公司：68甲18 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{A.Abel}等人，in：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’13，意大利罗马，2013年1月23日至25日。纽约州纽约市：计算机协会（ACM）。27-38（2013；Zbl 1301.68080）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

出版年份

主字段

全部的 前3名

软件