On higher-order communication of Erlang | IEEE Conference Publication | IEEE Xplore