Compiler Design Programming Languages

Research Frontiers in Bidirectional Type Checking and Inference

Implementation of bidirectional type checking systems that combine type inference with explicit type checking for flexibility.

All Compiler Design & Programming Languages PhD categories