Liquid types.

Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala

Browse the full PLDI paper archive.