R. L. Page B. D. Moe Experience with a Large Scientific Application in a Functional Language. 3-11 1993 FPCA db/conf/fpca/fpca93.html#PageM93