Text this: Inferencia de tipos para Fˆ, un λ cálculo polimórfico con terminación basada en tipos /