Source Code Analysis and Type Inference for R. - Nick Ulle (2021)