A Formal Development of an Efficient Subercombinator Compiler
暂无分享,去创建一个
[1] Richard S. Bird,et al. Tabulation Techniques for Recursive Programs , 1980, CSUR.
[2] Lawrence C. Paulson,et al. Verifying the Unification Algorithm in LCF , 1985, Sci. Comput. Program..
[3] Robin Milner,et al. A proposal for standard ML , 1984, LFP '84.
[4] Rod M. Burstall,et al. HOPE: An experimental applicative language , 1980, LISP Conference.
[5] Richard S. Bird. Transformational Programming and the Paragraph Problem , 1986, Sci. Comput. Program..
[6] R. J. M. Hughes,et al. Super-combinators a new implementation method for applicative languages , 1982, LFP '82.
[7] D. A. Turner,et al. A new implementation technique for applicative languages , 1979, Softw. Pract. Exp..