{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T20:54:06Z","timestamp":1776891246582,"version":"3.51.2"},"reference-count":26,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","issue":"1","license":[{"start":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T00:00:00Z","timestamp":1226016000000},"content-version":"unspecified","delay-in-days":4694,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Funct. Prog."],"published-print":{"date-parts":[[1996,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>This paper investigates several sparse matrix representation schemes and associated algorithms in Haskell for solving linear systems of equations arising from solving realistic computational fluid dynamics problems using a finite element algorithm. This work complements that of Wainwright and Sexton (1992) in that a Choleski direct solver (with an emphasis on its forward\/backward substitution steps) is examined. Experimental evidence comparing time and space efficiency of these matrix representation schemes is reported, together with associated forward\/backward substitution implementations. Our results are in general agreement with Wainwright and Sexton's.<\/jats:p>","DOI":"10.1017\/s095679680000160x","type":"journal-article","created":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T11:11:24Z","timestamp":1226056284000},"page":"143-170","source":"Crossref","is-referenced-by-count":3,"title":["Sparse matrix representations in a functional language"],"prefix":"10.46298","volume":"6","author":[{"given":"P. W.","family":"Grant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. A.","family":"Sharp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. F.","family":"Webster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"X.","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"25203","published-online":{"date-parts":[[2008,11,7]]},"reference":[{"key":"S095679680000160X_ref020","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(90)90056-J"},{"key":"S095679680000160X_ref011","volume-title":"Applied Iterative Methods","author":"Hageman","year":"1981"},{"key":"S095679680000160X_ref009","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165186"},{"key":"S095679680000160X_ref024","first-page":"11","volume-title":"Proc. ATABLE-92","author":"Wise","year":"1992"},{"key":"S095679680000160X_ref007","first-page":"247","volume-title":"Proc. ATABLE-92","author":"Grant","year":"1992"},{"key":"S095679680000160X_ref019","volume-title":"Proc. Functional Programming, Glasgow","author":"Sansom","year":"1992"},{"key":"S095679680000160X_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/0377-0257(93)80053-E"},{"key":"S095679680000160X_ref008","first-page":"75","volume-title":"Proc. Computational Mechanics in UK","author":"Grant","year":"1993"},{"key":"S095679680000160X_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-9333-0"},{"key":"S095679680000160X_ref022","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000265"},{"key":"S095679680000160X_ref016","volume-title":"Technical report","author":"Peyton Jones","year":"1994"},{"key":"S095679680000160X_ref017","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1145\/158511.158524","volume-title":"ACM Symposium on Principles of Programming Languages","author":"Peyton Jones","year":"1993"},{"key":"S095679680000160X_ref018","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000708"},{"key":"S095679680000160X_ref004","volume-title":"An Introduction to Functional Programming Systems Usin\u00a8g Haskell","author":"Davie","year":"1992"},{"key":"S095679680000160X_ref012","doi-asserted-by":"publisher","DOI":"10.1002\/fld.1650100307"},{"key":"S095679680000160X_ref015","doi-asserted-by":"publisher","DOI":"10.1145\/103147.103159"},{"key":"S095679680000160X_ref014","doi-asserted-by":"publisher","DOI":"10.1145\/6497.6499"},{"key":"S095679680000160X_ref002","volume-title":"Haskell B user's manual","author":"Augustsson","year":"1993"},{"key":"S095679680000160X_ref001","first-page":"49","volume-title":"Proc. Computational Mechanics in UK","author":"Al-Hussany","year":"1993"},{"key":"S095679680000160X_ref023","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86940-2"},{"key":"S095679680000160X_ref025","volume-title":"Applied Functional Programming","author":"Zhang","year":"1994"},{"key":"S095679680000160X_ref026","volume-title":"Applied Functional Programming","author":"Zhang","year":"1994"},{"key":"S095679680000160X_ref010","doi-asserted-by":"crossref","unstructured":"Grant P. W. , Sharp J. A. , Webster M. F. and Zhang X. (1994) Experiences of parallelising finite element problems in a functional style. Software \u2013 Practice and Experience, to appear.","DOI":"10.1002\/spe.4380250902"},{"key":"S095679680000160X_ref013","volume-title":"SIGPLAN Notices","author":"Hudak","year":"1992"},{"key":"S095679680000160X_ref021","first-page":"1","volume-title":"Proc. Int. Conf. Num. Meth. Eng.: Theory and Applications","volume":"II","author":"Townsend","year":"1987"},{"key":"S095679680000160X_ref006","volume-title":"Direct Methods for Sparse Matrices","author":"Duff","year":"1986"}],"container-title":["Journal of Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S095679680000160X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T20:18:10Z","timestamp":1776889090000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S095679680000160X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["S095679680000160X"],"URL":"https:\/\/doi.org\/10.1017\/s095679680000160x","relation":{},"ISSN":["0956-7968","1469-7653"],"issn-type":[{"value":"0956-7968","type":"print"},{"value":"1469-7653","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}