Diagrammatic representation of data types and data manipulations in a combined data- and control-flow language | IEEE Conference Publication | IEEE Xplore