NTHRYS › PhD Assistance › Compiler Design Programming Languages

Compiler Design Programming Languages

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Gradual Typing with Blame Tracking and Accountability

Research on extending gradual type systems with mechanisms that identify and assign responsibility for type errors between different code regions.