Hybrid type checking (2006)

by C Flanagan
Venue:In Symposium on Principles of Programming Languages