Typing References by E ect Inference (1992)

by A K Wright
Venue:In the proceedings of the 1992's European Symposium on Programming, volume 582 of the Lectures Notes in Computer Science