Jacques Carette Gaussian Elimination: A case study in efficient genericity with MetaOCaml. 3-24 2006 62 Sci. Comput. Program. 1 http://dx.doi.org/10.1016/j.scico.2005.10.012 db/journals/scp/scp62.html#Carette06