Safe fusion of functional expressions II: Further improvements

[1]  Martin S. Feather,et al.  A System for Assisting Program Transformation , 1982, TOPL.

[2]  Valentin F. Turchin,et al.  The concept of a supercompiler , 1986, TOPL.

[3]  Wei-Ngan Chin,et al.  Automatic methods for program transformation , 1990 .

[4]  Carsten Kehler Holst,et al.  Finiteness Analysis , 1991, Conference on Functional Programming Languages and Computer Architecture.

[5]  Wei-Ngan Chin.  Safe fusion of functional expressions , 1992, LFP '92.

[6]  Lennart Augustsson,et al.  Compiling Pattern Matching , 1985, FPCA.

[7]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[8]  Neil D. Jones,et al.  Mix: A self-applicable partial evaluator for experiments in compiler generation , 1989, LISP Symb. Comput..

[9]  Charles Consel,et al.  Binding time analysis for high order untyped functional languages , 1990, LISP and Functional Programming.

[10]  John Darlington,et al.  A Transformation System for Developing Recursive Programs , 1977, J. ACM.

[11]  Colin Runciman,et al.  Transformation in a Non-Strict Language: An Approach to Instantiation , 1989, Functional Programming.

[12]  Philip Wadler,et al.  Listlessness is better than laziness: Lazy evaluation and garbage collection at compile-time , 1984, LFP '84.

[13]  Richard C. Waters,et al.  Automatic transformation of series expressions into loops , 1991, TOPL.

[14]  Wei-Ngan Chin.  Towards an automated tupling strategy , 1993, PEPM '93.

[15]  Wei-Ngan Chin,et al.  Tupling Functions with Multiple Recursion Parameters , 1993, WSA.