Polymorphic Type Inference for Dynamic Languages

Giuseppe Castagna, Mickaël Laurent, Kim Nguyen 0001. Polymorphic Type Inference for Dynamic Languages. Proceedings of the ACM on Programming Languages, 8(POPL):1179-1210, January 2024. [doi]

Authors

Giuseppe Castagna

This author has not been identified. Look up 'Giuseppe Castagna' in Google

Mickaël Laurent

This author has not been identified. Look up 'Mickaël Laurent' in Google

Kim Nguyen 0001

This author has not been identified. Look up 'Kim Nguyen 0001' in Google