Type Inference Logics. - Denis Carnier; François Pottier; Steven Keuchel (Proc. ACM Program. Lang., 2024)