An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming.

Takashi Suwa, Atsushi Igarashi

Browse the full FLOPS paper archive.