Combinatory foundation of functional programming
暂无分享,去创建一个
[1] John H. Williams,et al. On the Development of the Algebra of Functional Programs , 1982, TOPL.
[2] Christopher P. Wadsworth,et al. The Relation Between Computational and Denotational Properties for Scott's Dinfty-Models of the Lambda-Calculus , 1976, SIAM J. Comput..
[3] John W. Backus,et al. Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.
[4] A. Chiarini. On FP languages combining forms , 1980, SIGP.
[5] J. Roger Hindley,et al. To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism , 1980 .
[6] Michael A. Arbib,et al. The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions , 1982, JACM.
[7] R. Robinson. Primitive recursive functions , 1947 .
[8] John W. Backus,et al. Function level programs as mathematical objects , 1981, FPCA '81.
[9] Corrado Böhm. Logic and Computers , 1981 .
[10] Noorul Islam,et al. A simple optimizer for FP-like languages , 1981, FPCA '81.
[11] Dana S. Scott,et al. Outline of a Mathematical Theory of Computation , 1970 .