Types and type inference in a visual programming language | IEEE Conference Publication | IEEE Xplore