Lellahi, Kazem; Tannen, Val "A Calculus for Collections and Aggregates" LNCS 1290: Category Theory and Computer Science, Proceedings of the 7th Int'l Conference, CTCS'97 (1997)

(1997)

Languages mentioned