Type management system in the Nexus distributed programming environment | IEEE Conference Publication | IEEE Xplore