Jump to Content

Access control in a core calculus of dependency

ICFP (2006), pp. 263-273

Abstract

Research Areas