丹尼尔·马歇尔;迈克尔·沃尔默;多米尼克·乌节 线性和独特性：友好协议。 （英语） Zbl 1528.68084号 谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 346-375 (2022).MSC公司：68纳米30 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Marshall}等人，Lect。注释计算。科学。13240346--375（2022年；Zbl 1528.68084） 全文： 内政部
多米尼克·乌节;吉田、Nobuko 效果作为会话，会话作为效果。 （英语） Zbl 1347.68055号 Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。568-581 (2016).MSC公司：68甲18 03B40型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Orchard}和\textit{N.Yoshida}，摘自：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。568--581（2016；Zbl 1347.68055） 全文： 内政部 链接
Petersen，Leaf公司;多米尼克乌节;Neal Glew先生 Haskell的自动SIMD矢量化。 （英语） Zbl 1323.68193号 2013年9月25日至27日在美国马萨诸塞州波士顿举行的第18届ACM SIGPLAN功能编程国际会议记录，ICFP’13。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2326-0）。ACM SIGPLAN Notices 48，No.9，25-36（2013）。MSC公司：68N20型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.Petersen}等人，in：第18届ACM SIGPLAN函数式编程国际会议论文集，ICFP’13，美国马萨诸塞州波士顿，2013年9月25-27日。纽约州纽约市：计算机协会（ACM）。25-36（2013；Zbl 1323.68193） 全文： 内政部 链接
多米尼克·乌节;汤姆·施里杰弗斯 释放了Haskell类型约束。 （英语） Zbl 1284.68135号 Blume，Matthias（编辑）等人，《函数和逻辑编程》。2010年4月19日至21日，第十届国际研讨会，FLOPS 2010，日本仙台。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-12250-7/pbk）。计算机科学课堂讲稿6009，56-71（2010）。MSC公司：68甲18 68N20型 PDF格式BibTeX公司 XML格式引用 \textit｛D.Orchard｝和\textit｛T.Schrijvers｝，Lect。注释计算。科学。6009、56-71（2010年；Zbl 1284.68135） 全文： 内政部 链接