Hybrid type checking (2006)

by C Flanagan
Venue:In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages