Yukiyoshi Kameyama Oleg Kiselyov Chung-chieh Shan Closing the stage: from staged code to typed closures. 147-157 2008 PEPM http://doi.acm.org/10.1145/1328408.1328430 conf/pepm/2008 db/conf/pepm/pepm2008.html#KameyamaKS08