A Core Calculus of Dependency

Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke. A Core Calculus of Dependency. In POPL. pages 147-160, 1999. [doi]

Abstract

Abstract is missing.