Report - 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.

Please pass captcha verification before submit form