149 citations · 517 across the 29 of their papers we have counts for
1 paper · 2 filters
Jeremy Avigad
In the theory of programming languages, type inference is the process of inferring the type of an expression automatically, often making use of information from the context in whic…