Applying Program Transformation to Type Inference for a Logic Language

• Autores: Y. Kawaguchi, K. Akama, E. Miyamoto
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 81, Nº 11, 1998, págs. 1141-1147
• Idioma: inglés
• Texto completo no disponible (Saber más ...)