×

找到9个文档(结果1-9)

实施并检查电子学习中使用的DSL。 (英语) Zbl 07368091号

Nakano,Keisuke(编辑)等人,《功能和逻辑编程》。第十五届国际研讨会,FLOPS 2020,日本秋田,2020年9月14-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12073, 179-197 (2020).
MSC公司:68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

证明涉及元素测试的列表上函数的属性。 (英语) Zbl 1312.68076号

Mossakowski,Till(编辑)等人,代数开发技术的最新趋势。2010年7月1日至4日,第20届WADT国际研讨会,德国埃特森。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。计算机科学课堂讲稿7137270-286(2012)。
MSC公司:68第05页 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

免费双向!(珀尔)。 (英语) Zbl 1315.68059号

2009年1月18日至24日,美国佐治亚州萨凡纳,POPL'09,第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-379-2)。165-176 (2009).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Haskell的参数性具有不精确的错误语义。 (英语) Zbl 1246.68087号

Curien,Pierre-Louis(编辑),《lambda计算类型和应用》。2009年7月1日至3日在巴西巴西利亚举行的2009年TLCA第九届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02272-2/pbk)。计算机科学课堂讲稿5608294-308(2009)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

存在seq的自由定理。 (英语) Zbl 1325.68047号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-729-X)。99-110 (2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

软件