Una Modelización de la incompletitud en los programas

Consultar RECERCAT

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/97298

Título:	Una Modelización de la incompletitud en los programas
Autor/a:	Pérez Campo, Javier
Abstract:	This paper presents the concept of multiple type variable. This concept models the incompleteness in programs and simplifies its type checking. The expresiveness of this concept also helps in the handling of value constructors.
Materia(s):	-Àrees temàtiques de la UPC::Informàtica::Programació -Multiple type variable -Incompleteness
Derechos:
Tipo de documento:	Artículo - Versión publicada Informe
Compartir:

Coordinación

Patrocinio