Carette, Jacques; Kucera, Michael Partial evaluation of Maple. (English) Zbl 1215.68277 Sci. Comput. Program. 76, No. 6, 469-491 (2011). MSC: 68W30 68N15 PDFBibTeX XMLCite \textit{J. Carette} and \textit{M. Kucera}, Sci. Comput. Program. 76, No. 6, 469--491 (2011; Zbl 1215.68277) Full Text: DOI
Carette, Jacques; Kiselyov, Oleg Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code. (English) Zbl 1215.68059 Sci. Comput. Program. 76, No. 5, 349-375 (2011). MSC: 68N19 68N30 PDFBibTeX XMLCite \textit{J. Carette} and \textit{O. Kiselyov}, Sci. Comput. Program. 76, No. 5, 349--375 (2011; Zbl 1215.68059) Full Text: DOI
Carette, Jacques Gaussian elimination: a case study in efficient genericity with MetaOCaml. (English) Zbl 1100.68130 Sci. Comput. Program. 62, No. 1, 3-24 (2006). MSC: 68W30 65F05 PDFBibTeX XMLCite \textit{J. Carette}, Sci. Comput. Program. 62, No. 1, 3--24 (2006; Zbl 1100.68130) Full Text: DOI