NTHRYS › PhD Assistance › Software Engineering

Software Engineering

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Gradual Type System Design and Implementation

Study of gradually-typed programming language design that allows mixing statically and dynamically typed code in single systems.