雅克·卡雷特;迈克尔·库塞拉 枫叶的部分评估。 (英语) 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) 全文: 内政部
雅克·卡雷特 高斯消去:MetaOCaml有效泛型的案例研究。 (英语) Zbl 1100.68130号 科学。计算。程序。 62,第1期,3-24(2006).MSC公司:68瓦30 65平方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette},科学。计算。程序。62,第1号,第3--24号(2006;Zbl 1100.68130) 全文: 内政部