An abstract machine for the normalization of X-terms
暂无分享,去创建一个
[1] Simon L. Peyton Jones,et al. The Implementation of Functional Programming Languages , 1987 .
[2] Thérèse Hardin,et al. Proof of termination of the rewriting system subst on CCL , 1986, Theor. Comput. Sci..
[3] John Darlington,et al. A Transformation System for Developing Recursive Programs , 1977, J. ACM.
[4] Harold T. Hodes,et al. The | lambda-Calculus. , 1988 .
[5] Philip Wadler,et al. Deforestation: Transforming Programs to Eliminate Trees , 1990, Theor. Comput. Sci..
[6] Gopalan Nadathur,et al. A representation of Lambda terms suitable for operations on their intensions , 1990, LISP and Functional Programming.
[7] Guy Argo. Improving the three instruction machine , 1989, FPCA.