1 Derivando un algoritmo de inferencia de tipos El sistema de inferencia polimórfico no es syntax-directed. Las reglas (inst) y (gen) pueden ser aplicadas.