论文信息 - Foundations of Computer Science - 字舞流文

Foundations of Computer Science

Lawrence C. Paulson | Lawrence Charles Paulson

[1] Donald E. Knuth,et al. The Art of Computer Programming, Volume I: Fundamental Algorithms, 2nd Edition , 1997 .

[2] Ronald L. Graham,et al. Concrete mathematics - a foundation for computer science , 1991 .

[3] Allen Newell,et al. Computer Structures: Readings and Examples, , 1971 .

[4] Alfred V. Aho,et al. The Design and Analysis of Computer Algorithms , 1974 .

[5] S. K. Park,et al. Random number generators: good ones are hard to find , 1988, CACM.

[6] Donald E. Knuth,et al. The Art of Computer Programming: Volume 3: Sorting and Searching , 1998 .

[7] Lawrence Charles Paulson,et al. ML for the working programmer , 1991 .

[8] Jeffrey D. Ullman. Elements of ML programming , 1994 .

[9] John Hughes,et al. Why Functional Programming Matters , 1989, Comput. J..

[10] Gerald Jay Sussman,et al. Abstraction in numerical methods , 1987 .