Author:Youyou Cong

Publications
Implementing a stepper using delimited continuations Youyou Cong and Kenichi Asai In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science