Un sistema de tipospolimórfico para un lenguaje funcional con definiciones de constantes y tipos abstractos
.Gaspes, V.
. (Escuela Superior Latinoamericana de Informática : publicaciones técnicas; PT.11).Buenos Aires :
, 1988. U.I.: Cent. (X) MONOGRAFÍA