Refining semantics for multi-stage programming.

Rui Ge, Ronald Garcia

Browse the full GPCE paper archive.