Extending functional languages with stateful computations | IEEE Conference Publication | IEEE Xplore