Compiler Design Programming Languages

Research Frontiers in Constraint-Based Type Inference Algorithms

Development of scalable type inference systems using constraint generation and solving techniques for polymorphic and generic language features.

All Compiler Design & Programming Languages PhD categories