Type Inference

[Google Scholar]

Notes:
Papers:

Checking type safety of foreign function calls [furr:pldi:2005]
A theory of type polymorphism in programming [milner:jcss:1978]
Trustworthy specifications of ARM v8-A and v8-M system level architecture [reid:fmcad:2016]

The opinions expressed are my own views and not my employer’s.