Binding-time analysis: Abstract interpretation versus type inference (1994)

by J Palsberg, M I Schwartzbach
Venue:Proceedings 5th IEEE International Conference on Computer Languages