| L. Fegaras. A uniform calculus for bulk data types, February 1994. Manuscript available from fegaras@cse.ogi.edu. |
....lists. Furthermore, this uniformity is achieved without any loss in type information. 1 Introduction Sets, bags, and lists are among the most commonly used bulk types. The comprehension syntax [21, 22] has recently been proposed as a syntax for the uniform manipulation of these bulk data types [23, 3, 6, 25]. Using this syntax, it is possible to turn a query on sets into a query on bags or on list by simply switching the set brackets into bag brackets or list brackets. For example, set select = p: S: f x j x 2 S; p(x) g bag select = p: S: fj x j x 2 S; p(x) jg list select = p: S: x j x 2 S; ....
L. Fegaras. A uniform calculus for bulk data types, February 1994. Manuscript available from fegaras@cse.ogi.edu.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC