Compiler Design Programming Languages

Research Frontiers in Type Refinement and Singleton Type Compilation

Investigation of type systems using singleton types and refinement types for precise compile-time value analysis and optimization.

All Compiler Design & Programming Languages PhD categories