Combining algebra and higher-order types | IEEE Conference Publication | IEEE Xplore