Compiler Design Programming Languages

Research Frontiers in Type-Driven Code Generation and Elaboration

Research on compilation strategies that leverage rich type information to generate specialized code and perform type-directed optimizations.

All Compiler Design & Programming Languages PhD categories