Typing polymorphic recursion

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.

Guardado en:
Detalles Bibliográficos
Autores principales: Figueiredo, Lucília Camarão de, Camarão, Carlos
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2001
Materias:
Ciencias Informáticas
Languages
informática
Polymorphism
Programming languages
Type inference
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23287
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares