Reasoning about Multi-stage Programs.

Jun Inoue, Walid Taha

Browse the full ESOP paper archive.