Liquid types (2008)

by P M Rondon, M Kawaguchi, R Jhala
Venue:In PLDI 2008