Implementing Higher-Order Control in Java | IEEE Conference Publication | IEEE Xplore