Low-level liquid types (2010)

by P M Rondon, M Kawaguchi, R Jhala
Venue:In POPL