Title: Type- and flow-directed compilation for specialized data representations
Subjects: Programming languages (Electronic computers), Compilers (Computer programs)