Refined Types: Highly Differentiated Type Systems and Their Use in the Design of Intermediate Langages.

John R. Rose

Browse the full PLDI paper archive.