Katsuro Inoue Hiroyuki Seki Kenichi Taniguchi Tadao Kasami Compiling and Optimizing Methods for the Functional Language ASL/F. 297-312 1986 7 Sci. Comput. Program. 3 db/journals/scp/scp7.html#InoueSTK86 http://dx.doi.org/10.1016/0167-6423(86)90012-2