Multi-Stage Programming with Explicit Annotations.

Walid Taha, Tim Sheard

Browse the full PEPM paper archive.