×

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

最新的 引文 关联
曼弗雷德·施密特·沙乌;大卫·萨贝尔

call-by-nead和call-by-name多态型结石的上下文等效性（初步报告）。 （英语） Zbl 1428.68113号

Schmidt-Schauß，Manfred（ed.）等人，《程序转换和评估重写技术第一次国际研讨会》，WPTE'14，奥地利维也纳，2014年7月13日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。OASIcs–OpenAccess服务器。通知。40, 63-74 (2014).
MSC公司：68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauß}和\textit{D.Sabel}，OASIcs--开放存取服务。通知。40、63-74（2014年；Zbl 1428.68113）
全文： 内政部
彼得·阿克滕;马克·范·埃克伦;莱纳斯·普拉斯梅耶

通用图形用户界面。 （英语） Zbl 1108.68344号

Trinder，Phil（编辑）等人，《函数语言的实现》。2003年9月8日至11日，英国爱丁堡，第15届国际研讨会，IFL 2003。修订论文。柏林：施普林格出版社（ISBN 3-540-23727-5/pbk）。计算机科学讲义3145152-167（2004）。
MSC公司：68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{P.Achten}等人，Lect。注释计算。科学。31451152-167（2004年；兹bl 1108.68344）
全文： 内政部
罗斯·帕特森

箭头的新符号。 （英语） Zbl 1323.68147号

2001年9月3日至5日在意大利佛罗伦萨举行的第六届ACM SIGPLAN功能编程国际会议记录，ICFP'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-415-0）。ACM SIGPLAN通知36，第10号，229-240（2001）。
MSC公司：68甲18 18立方厘米 18日第15天
PDF格式BibTeX公司 XML格式引用
\textit{R.Paterson}，in：第六届ACM SIGPLAN函数编程国际会议论文集，ICFP'01，意大利佛罗伦萨，2001年9月3--5日。纽约州纽约市：计算机协会（ACM）。229--240（2001年；Zbl 1323.68147）
全文： 内政部
彼得·阿克滕;西蒙·佩顿·琼斯

将干净对象I/O库移植到Haskell。 （英语） Zbl 0977.68728号

Mohnen，Markus（编辑）等人，《函数语言的实现》。2000年9月4日至7日，德国亚琛IFL 2000第12次国际研讨会。精选论文。柏林：施普林格。莱克特。注释计算。科学。2011, 194-213 (2001).
MSC公司：68单位99 68甲18 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{P.Achten}和\textit{S.P.Jones}，莱克特。注释计算。科学。2011年，194-213（2001年；Zbl 0977.68728）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

主字段

全部的 前3名

软件