Database Query Languages Embedded in the Typed Lambda Calculus

Information and Computation - Tập 127 - Trang 117-144 - 1996
Gerd G. Hillebrand1, Paris C. Kanellakis1, Harry G. Mairson2
1Department of Computer Science, Brown University, Box 1910, Providence, Rhode Island, 02912
2Department of Computer Science, Brandeis University, Waltham, Massachusetts, 02254

Thông tin
Thông tin xuất bản

Information and Computation

Tập 127

117-144

Thông tin tác giả