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:226 - 25 self

Document Versions

A Core Calculus of Dependency –Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke — 1999 — IN PROC. 26TH ACM SYMP. ON PRINCIPLES OF PROGRAMMING LANGUAGES (POPL
A Core Calculus of Dependency –Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke — 1999 — In Proc. 26th ACM Symp. on Principles of Programming Languages (POPL
A Core Calculus of Dependency –Martin Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke — 1999 — IN PROC. 26TH ACM SYMP. ON PRINCIPLES OF PROGRAMMING LANGUAGES (POPL