| dc.creator | Figueiredo, Lucília Camarão de | |
| dc.creator | Camarão, Carlos | |
| dc.date | 2001-10 | |
| dc.date | 2001-10 | |
| dc.date | 2012-10-31T11:39:08Z | |
| dc.identifier | http://sedici.unlp.edu.ar/handle/10915/23287 | |
| dc.description | 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. | |
| dc.description | Eje: Informática teórica | |
| dc.description | Red de Universidades con Carreras en Informática (RedUNCI) | |
| dc.format | application/pdf | |
| dc.language | en | |
| dc.relation | VII Congreso Argentino de Ciencias de la Computación | |
| dc.rights | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
| dc.rights | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
| dc.subject | Ciencias Informáticas | |
| dc.title | Typing polymorphic recursion | |
| dc.type | Objeto de conferencia | |
| dc.type | Objeto de conferencia | |
