Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-10-31T11:39:08Z
dc.date.available 2012-10-31T11:39:08Z
dc.date.issued 2001-10
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/23287
dc.description.abstract This paper discusses some advantages of supporting polymorphic recursión in programming languages and describes a decidable type inference algorithm for typing polymorphic and possibly mutually recursive definitions, using Haskell to provide an executable high level specification of the algorithm. en
dc.language en es
dc.subject Languages es
dc.subject informática es
dc.subject Programming languages en
dc.subject Polymorphism es
dc.subject Type inference en
dc.title Typing polymorphic recursion en
dc.type Objeto de conferencia es
sedici.creator.person Figueiredo, Lucília Camarão de es
sedici.creator.person Camarão, Carlos es
sedici.description.note Eje: Informática teórica es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2001-10
sedici.relation.event VII Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (220.2Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)