Polymorphic Multi-stage Language with Control Effects.

Yuichiro Kokaji, Yukiyoshi Kameyama

Browse the full APLAS paper archive.