Multilanguage programming: an automatic-type-mapping approach | IEEE Conference Publication | IEEE Xplore