Exploring Type Inference Techniques of Dynamically Typed Languages | IEEE Conference Publication | IEEE Xplore