×

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

最新的 引文 关联
杨志轩；马尔科·帕维奥蒂；尼古拉斯·吴；范登伯格，比尔特；汤姆·施里杰弗斯

范围效应的结构化处理。 （英语） Zbl 1528.68088号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 462-491 (2022).
MSC公司：68号30 18 C50 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{Z.Yang}等人，Lect。注释计算。科学。13240、462--491（2022；Zbl 1528.68088）
全文： 内政部 arXiv公司
法布里奇奥·基诺维塞；亚历克斯·格里兹洛夫；杰尔·赫罗德；安德烈·克尼斯佩尔；马可·佩隆；埃里克·波斯特；安德烈·维德拉

伊德里斯·科特：一个在Idris中进行范畴理论的图书馆。 （英语） Zbl 07453982号

Baez，John（ed.）等人，《2019年应用范畴理论学报》，ACT 2019，英国牛津大学，2019年7月15日至19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32326246-254（2020年）。
MSC公司：68倍 2018年XX月18日
PDF格式BibTeX公司 XML格式引用
\textit{F.Genovese}等人，《电子》。程序。西奥。计算。科学。（EPTCS）323246-254（2020；Zbl 07453982）
全文： arXiv公司 链接
迈卡，暂停；克莉丝汀·赫利希；詹姆斯·费尔班克斯

科学模型增强的合成框架。 （英语） Zbl 07453978号

Baez，John（ed.）等人，《2019年应用范畴理论学报》，ACT 2019，英国牛津大学，2019年7月15日至19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）323172-182（2020）。
MSC公司：68倍 2018年XX月18日
PDF格式BibTeX公司 XML格式引用
\textit{M.Halter}等人，《电子》。程序。西奥。计算。科学。（EPTCS）323172--182（2020；Zbl 07453978）
全文： arXiv公司 链接
巴托克·克林；朱利安·萨拉曼卡

迭代协变功率集不是单子。 （英语） Zbl 1528.18007号

Staton，Sam（编辑），第34届编程语义数学基础会议论文集（MFPS XXXIV），加拿大哈利法克斯达尔豪西大学，2018年6月6日至9日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。341, 261-276 (2018).
MSC公司：18立方厘米 18A99型
PDF格式BibTeX公司 XML格式引用
\textit{B.Klin}和\textit{J.Salamanca}，电子。注释Theor。计算。科学。341261--276（2018年；Zbl 1528.18007）
全文： 内政部
马西耶·皮罗格；汤姆·施里杰弗斯；尼古拉斯·吴；毛罗·贾斯克利奥夫

作用域操作的语法和语义。 （英语） Zbl 1497.68120号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。809-818 (2018).
MSC公司：68号30 18立方厘米 68甲18 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{M.Piróg}等人，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。809--818（2018；Zbl 1497.68120）
全文： 内政部 链接
谢尔盖·冈查洛夫；斯特凡·米利厄斯；克里斯托夫·劳赫

完成Elgot monad和Colegebraic恢复。 （英语） Zbl 1395.18004号

Birkedal，Lars（编辑），第32届编程语义数学基础会议论文集（MFPS XXXII），卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国，2016年5月23日至26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记325，147-168（2016）。
MSC公司：18立方厘米 18个C20
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}等人，《电子》。注释Theor。计算。科学。325147-168（2016年；Zbl 1395.18004）
全文： 内政部 arXiv公司
何塞·努诺·奥利维拉；维克托·卡奇亚里·米拉尔多

“保持定义，改变类别”——一种基于状态的系统计算的实用方法。 （英语） Zbl 1344.68150号

J.日志。阿尔盖布。方法计划。 85，第4期，449-474（2016）.
MSC公司：70年第68季度 18个C20 68号30 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{J.N.Oliveira}和\textit{V.C.Miraldo}，J.Log。阿尔盖布。方法程序。85，第4号，449--474（2016；Zbl 1344.68150）
全文： 内政部
谢尔盖·冈查洛夫；克里斯托夫·劳赫；卢茨·施罗德

共创性恢复上的无保护递归。 （英语） Zbl 1351.68074号

Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319183-198，仅电子版（2015）。
MSC公司：68号30 18个C20
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}等人，《电子》。注释Theor。计算。科学。319183-198（2015年；Zbl 1351.68074）
全文： 内政部
拉尔夫·欣泽；尼古拉斯·吴；杰里米·吉本斯

共轭体模——或：所有结构化递归方案之母。 （英语） 兹比尔1345.68057

第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。527-538 (2015).
MSC公司：68甲18 03B40型 18 C50 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit｛R.Hinze｝等人，在：第42届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。527--538（2015；Zbl 1345.68057）
全文： 内政部
Zhozhikashvili，A.V.公司。

用于模式匹配过程形式化的单数。 （英语。俄文原件） Zbl 1325.68224号

程序。计算。柔和。 40，第3期，117-127（2014）; 译自Programmirovanie 40，No.3（2014）。
审核人：马可·贝尼尼（布奇纳斯科）
MSC公司：68立方英尺 18立方厘米 68问题65 68吨10
PDF格式BibTeX公司 XML格式引用
\textit{A.V.Zhozhikashvili}，程序。计算。柔和。40，第3号，117--127（2014；Zbl 1325.68224）；译自Programmirovanie 40，No.3（2014）
全文： 内政部
内森·鲍勒；谢尔盖·冈查洛夫；保罗·布莱恩·利维；卢茨·施罗德

探索集合上单子张量的边界。 （英语） Zbl 1287.18004号

日志。方法计算。科学。 第9期，第3期，第22号论文，第18页（2013年）.
审核人：胡安·克莱门特·维达尔（瓦伦西亚）
MSC公司：18立方厘米 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{N.Bowler}等人，日志。方法计算。科学。9，第3号，第22号论文，18页（2013；Zbl 1287.18004）
全文： 内政部 arXiv公司
拉尔夫·欣泽

Kan程序优化扩展Or:Art和Dan解释了一个老把戏。 （英语） Zbl 1358.68057号

Jeremy Gibbons等人，《程序构造的数学》。2012年6月25日至27日在西班牙马德里举行的2012年MPC第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31112-3/pbk）。计算机科学课堂讲稿7342，324-362（2012）。
MSC公司：68甲18 18A40型 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Hinze}，莱克特。注释计算。科学。7342，324--362（2012；Zbl 1358.68057）
全文： 内政部
马科托·哈马纳

更正循环项中的循环箭头。Haskell中的追踪分类解释。 （英语） Zbl 1354.68047号

Schrijvers，Tom（编辑）等人，《函数和逻辑编程》。2012年5月23日至25日，第11届国际研讨会，FLOPS 2012，日本神户。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-29821-9/pbk）。《计算机科学讲义》7294136-150（2012）。
MSC公司：68甲18 18 C50 18日第10天
PDF格式BibTeX公司 XML格式引用
\textit{M.Hamana}，莱克特。注释计算。科学。7294，136-150（2012；Zbl 1354.68047）
全文： 内政部
毛罗·贾斯克利奥夫；尼尔·加尼；格雷厄姆·赫顿

数学操作语义的模块化和实现。 （英语） Zbl 1291.68123号

Capretta，Venanzio（编辑）等人，《数学结构函数编程第二次研讨会论文集》（MSFP 2008），冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》229，第5期，75-95页（2011年）。
MSC公司：68甲18 18 C50 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{M.Jaskelioff}等人，《电子》。注释Theor。计算。科学。229，第5号，75--95（2011；Zbl 1291.68123）
全文： 内政部
弗拉基米尔·多森科；米凯尔·维杰德莫·约翰逊

为操作数实现Gröbner基。 （英语） Zbl 1277.68301号

Loday，Jean-Louis（编辑）等人，《2009年歌剧》。2009年4月20日至30日，法国鲁米尼，《学校和会议记录》。巴黎：法国数学学会（ISBN 978-2-85629-363-8/pbk）。Séminaires et CongrèS 26，77-98（2011）。
MSC公司：68瓦30 第16章第15节 18D50型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{V.Dotsenko}和\textit{M.V.Johansson}，塞敏。恭喜。26、77——98（2011；Zbl 1277.68301）
全文： arXiv公司
拉尔夫·欣泽

类型融合。 （英语） Zbl 1308.68041号

Johnson，Michael（编辑）等人，《代数方法论和软件技术》。2010年6月23日至25日，加拿大魁北克省Lac-Beauport，AMAST 2010，第13届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17795-8/pbk）。《计算机科学讲义》6486192-110（2011）。
MSC公司：68号30 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Hinze}，莱克特。注释计算。科学。6486192-110（2011年；兹比尔1308.68041）
全文： 内政部
谢尔盖·冈查洛夫；卢茨·施罗德；蒂尔·莫萨科夫斯基

Kleene monads：在通用效果框架中处理迭代。 （英语） Zbl 1239.68024号

Kurz，Alexander（编辑）等人，《计算机科学中的代数与代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿5728，18-33（2009）。
MSC公司：68号30 18立方厘米 18个C20
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}等人，Lect。注释计算。科学。5728、18-33（2009年；Zbl 1239.68024）
全文： 内政部
尼克·本顿；约翰·休斯；尤金尼奥·莫吉

单子和效果。 （英语） Zbl 1065.68064号

Barthe，Gilles（编辑）等人，《应用语义学》。2000年9月9日至15日，葡萄牙卡米尼亚，APPSEM 2000国际暑期学校。高级讲座。柏林：施普林格出版社（ISBN 3-540-44044-5）。莱克特。注释计算。科学。2395, 42-122 (2002).
MSC公司：第68季度55 68甲18 68-02 18立方厘米 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{N.Benton}等人，Lect。注释计算。科学。2395、42-122（2002年；Zbl 1065.68064）
全文： 链接
罗斯·帕特森

箭头的新符号。 （英语） 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）
全文： 内政部
托尔斯滕·阿滕柯奇；罗伊斯，伯恩哈德

使用广义归纳类型的lambda项的单数表示。 （英语） Zbl 0944.03011号

Flum，Jörg（编辑）等人，《计算机科学逻辑》。第十三届国际研讨会，CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1683, 453-468 (1999).
MSC公司：03B40型 18立方厘米 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{T.Altenkirch}和\textit{B.Reuse}，Lect。注释计算。科学。1683453-468（1999；Zbl 0944.03011）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件