Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code.

Norman Ramsey, Joo Dias

Browse the full POPL paper archive.