Flexible Type Analysis (1999)

by K Crary, S Weirich
Venue:In In 1999 ACM International Conference on Functional Programming