Mostra el registre d'ítem simple
Una Modelización de la incompletitud en los programas
dc.contributor.author | Pérez Campo, Javier |
dc.date.accessioned | 2016-11-28T10:30:48Z |
dc.date.available | 2016-11-28T10:30:48Z |
dc.date.issued | 1994-01 |
dc.identifier.citation | Pérez, J. "Una Modelización de la incompletitud en los programas". 1994. |
dc.identifier.uri | http://hdl.handle.net/2117/97298 |
dc.description.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. |
dc.format.extent | 12 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | LSI-94-4-R |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Programació |
dc.subject.other | Multiple type variable |
dc.subject.other | Incompleteness |
dc.title | Una Modelización de la incompletitud en los programas |
dc.type | External research report |
dc.rights.access | Open Access |
local.identifier.drac | 1901860 |
dc.description.version | Postprint (published version) |
local.citation.author | Pérez, J. |