Local Contextual Type Inference

Xu Xue, Chen Cui, Shengyi Jiang, Bruno C. D. S. Oliveira. Local Contextual Type Inference. Proceedings of the ACM on Programming Languages, 10(POPL):294-323, 2026. [doi]

Abstract

Abstract is missing.