Buneman, Peter; Naqvi, Shamim; Tannen, Val, Wong, Limsoon "Principles of Programming with Collection Types" Theoretical Computer Science (1995)

(1995)

Languages mentioned