Liquid Types (Rondon et. al.)
ThanhVu (Vu) Nguyen - PLUM, UMD CS
Abstract
http://goto.ucsd.edu/~rjhala/papers/liquid_types.pdf.
This talk is organized by Aseem Rastogi
http://goto.ucsd.edu/~rjhala/papers/liquid_types.pdf.