论文信息 - List Comprehensions and the Relational Calculus - 字舞流文

List Comprehensions and the Relational Calculus

Philip Wadler | Phil Trinder | P. Wadler | P. Trinder

[1] H. Piaggio. Logic for Mathematicians , 1954, Nature.

[2] J. D. Uiiman,et al. Principles of Database Systems , 2004, PODS 2004.

[3] Philip W. Trinder,et al. Implementing Functional Databases , 1987, DBPL.

[4] Simon L. Peyton Jones,et al. The Implementation of Functional Programming Languages , 1987 .

[5] C. J. Date. An Introduction to Database Systems, 3rd Edition , 1977 .