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

id	I19-R120-10915-23287
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Inglés
topic	Ciencias Informáticas Languages informática Polymorphism Programming languages Type inference
spellingShingle	Ciencias Informáticas Languages informática Polymorphism Programming languages Type inference Figueiredo, Lucília Camarão de Camarão, Carlos Typing polymorphic recursion
topic_facet	Ciencias Informáticas Languages informática Polymorphism Programming languages Type inference
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.
format	Objeto de conferencia Objeto de conferencia
author	Figueiredo, Lucília Camarão de Camarão, Carlos
author_facet	Figueiredo, Lucília Camarão de Camarão, Carlos
author_sort	Figueiredo, Lucília Camarão de
title	Typing polymorphic recursion
title_short	Typing polymorphic recursion
title_full	Typing polymorphic recursion
title_fullStr	Typing polymorphic recursion
title_full_unstemmed	Typing polymorphic recursion
title_sort	typing polymorphic recursion
publishDate	2001
url	http://sedici.unlp.edu.ar/handle/10915/23287
work_keys_str_mv	AT figueiredoluciliacamaraode typingpolymorphicrecursion AT camaraocarlos typingpolymorphicrecursion
bdutipo_str	Repositorios
_version_	1764820466084610048

Typing polymorphic recursion

Ejemplares similares