Skip to search formSkip to main contentSkip to account menu

Flow-sensitive typing

In programming language theory, flow-sensitive typing (or flow typing) is a type system where the type of a variable is determined by the control… 
Wikipedia (opens in a new tab)

Related topics

Related topics

16 relations
Algebraic data typeCeylonControl flowKotlin

Broader (2)

Program analysisType theory

Search for papers about Flow-sensitive typing

Search papers
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)