Binding-time analysis: abstract interpretation versus type inference | IEEE Conference Publication | IEEE Xplore