A Core Calculus of Dependency (1999)

by Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke
Venue:IN PROC. 26TH ACM SYMP. ON PRINCIPLES OF PROGRAMMING LANGUAGES (POPL