井上，六月；瓦利德·塔哈 关于多阶段程序的推理。 （英语） Zbl 1420.68040号 J.功能。程序。 26，论文编号e22，53 p.（2016）.MSC公司：68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Inoue}和\textit{W.Taha}，J.Funct。程序。26，论文编号e22，53 p.（2016；Zbl 1420.68040） 全文： 内政部
雅克·卡雷特；罗素·奥康纳 理论演示组合器。 （英语） 兹比尔1360.68802 Johan Jeuring等人，《智能计算机数学》。2012年7月8日至13日，在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31373-8/pbk）。计算机科学课堂讲稿7362。《人工智能课堂讲稿》，202-215（2012）。MSC公司：68立方英尺 18天30分 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}和\textit{R.O'Connor}，莱克特。注释计算。科学。7362202-215（2012；Zbl 1360.68802） 全文： 内政部 arXiv公司
Yukiyoshi县Kameyama；奥列格·基塞利约夫；Shan，Chung-Chieh公司 移动舞台。带分隔控件的暂存。 （英语） 兹比尔1248.68132 J.功能。程序。 21，第6期，617-662（2011）.MSC公司：68甲18 第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kameyama}等人，J.Funct。程序。21，第6号，617--662（2011；Zbl 1248.68132） 全文： 内政部
雅克·卡雷特；Farmer，William M。；罗素·奥康纳 MathScheme：项目描述。 （英语） Zbl 1335.68226号 Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学讲义6824。人工智能课堂讲稿，287-288（2011）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}等人，Lect。注释计算。科学。6824、287--288（2011年；Zbl 1335.68226） 全文： 内政部
雅克·卡雷特；迈克尔·库塞拉 枫叶的部分评估。 （英语） Zbl 1215.68277号 科学。计算。程序。 76，第6号，469-491（2011）.MSC公司：68瓦30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}和\textit{M.Kucera}，科学。计算。程序。76，No.6，469--491（2011；Zbl 1215.68277） 全文： 内政部
雅克·卡雷特；奥列格·基塞利约夫 使用functor和monad的多级编程：消除泛型代码的抽象开销。 （英语） Zbl 1215.68059号 科学。计算。程序。 76，第5期，349-375（2011）.MSC公司：68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}和\textit{O.Kiselyov}，科学。计算。程序。76，No.5，349--375（2011；Zbl 1215.68059） 全文： 内政部
雅克·卡雷特；Farmer，William M。 高级理论。 （英语） Zbl 1166.68338号 Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。人工智能课堂讲稿，232-245（2008）。MSC公司：68吨15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}和\textit{W.M.Farmer}，莱克特。注释计算。科学。5144232--245（2008年；Zbl 1166.68338） 全文： 内政部