ASCEND
BY NTHRYS

NTHRYS › PhD Assistance › Compiler Design Programming Languages

Compiler Design Programming Languages

Field
▾
Category
▾

Compiler Design Programming Languages

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Static Type Inference and Gradual Typing Systems

Investigation of advanced type inference algorithms and hybrid static-dynamic typing mechanisms for improved program safety.

Gradual Type Inference at the Polymorphism Boundary
Precision Loss in Higher-Order Type Reconstruction
Blame Attribution in Gradually Typed Ecosystems
Type Inference Under Implicit Constraint Propagation
Performance Semantics of Runtime Type Checking
Inference Robustness Across Heterogeneous Type Lattices
Contextual Typing in Mixed Static-Dynamic Environments
Type Inference for Metaprogramming and Reflection
Soundness Preservation During Incremental Type Refinement
Bidirectional Inference in Dependent Type Systems

All Compiler Design & Programming Languages PhD categories