Polymorphic Multi-stage Language with Control Effects. - Yuichiro Kokaji; Yukiyoshi Kameyama (APLAS, 2011)