Access control in a core calculus of dependency

ICFP(2006), pp. 263-273

Abstract

Research Areas