A Dependently Typed Multi-stage Calculus.

Akira Kawata, Atsushi Igarashi

Browse the full APLAS paper archive.