A static calculus of dependencies for the /spl lambda/-cube | IEEE Conference Publication | IEEE Xplore