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 Soundness and Behavioral Subtyping

Formal verification of type system soundness properties and investigation of behavioral subtyping relationships in complex type systems.