Proofs about a Folklore Let-Polymorphic Type Inference Algorithm

• Autores: Kwangkeun Yi, Oukseh Lee
• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 20, Nº 4, 1998, págs. 707-723
• Idioma: inglés
• Texto completo no disponible (Saber más ...)