×

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

实用原则FRP:忘记过去,改变未来,FRP现在! (英语) Zbl 1360.68337号

2015年9月1日至3日,加拿大温哥华,ICFP’15,第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3669-7)。302-314 (2015).
MSC公司:68甲18 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Haskell通过指称语义实现逻辑。 (英语) 兹比尔1301.68085

2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1832-7)。431-442 (2013).
MSC公司:68甲18 03B10号机组 68号30 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Haskell的静态契约检查。 (英语) Zbl 1315.68107号

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

使用QuickCheck和Hat测试和跟踪惰性功能程序。 (英语) Zbl 1278.68059号

Jeuring,Johan(编辑)等人,《高级功能编程》。第四国际学校,AFP 2002,英国牛津,2002年8月19-24日。修订的讲座。柏林:施普林格出版社(ISBN 3-540-40132-6/pbk)。莱克特。注释计算。科学。2638, 59-99 (2003).
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

体积

出版年份

主字段

全部的 前3名

软件