A Core Calculus of Dependency (Abadi et. al.)
Matthew Hammer - PLUM, UMD CS
Abstract
http://www.cs.ucla.edu/~palsberg/tba/papers/abadi-banerjee-heintze-riecke-popl99.pdf
This talk is organized by Aseem Rastogi