Low-level liquid types.

Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala

Browse the full POPL paper archive.