Gradual liquid type inference

Niki Vazou, Éric Tanter, David Van Horn. Gradual liquid type inference. Proceedings of the ACM on Programming Languages, 2(OOPSLA), 2018. [doi]

Authors

Niki Vazou

This author has not been identified. Look up 'Niki Vazou' in Google

Éric Tanter

This author has not been identified. It may be one of the following persons: Look up 'Éric Tanter' in Google

David Van Horn

This author has not been identified. Look up 'David Van Horn' in Google