NTHRYS › PhD Assistance › Compiler Design Programming Languages

Compiler Design Programming Languages

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Type-Driven Program Synthesis and Refinement

Investigation of type systems as guidance mechanisms for automated program synthesis and iterative program refinement strategies.