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
Citations:221 - 25 self