Typing polymorphic recursion

Figueiredo, Lucília Camarão de et al · SEDICI UNLP · 2001

Materiale supplementare disponibile

Lettura rapida. Controlla i dati essenziali della risorsa e accedi al contenuto con il pulsante principale. La scheda mostra solo le informazioni necessarie per identificare, citare e aprire l’opera.

Autore / responsabile

Figueiredo, Lucília Camarão de et al

Editore

SEDICI UNLP

Anno

2001

Lingua

Inglés

Accesso alla risorsa

Apri il contenuto dall’opzione principale o scegli un’altra fonte disponibile.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Accesso principale

Materiale supplementare disponibile

El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.

Apri materiale

Riepilogo

Descripción general del contenido del recurso.

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. Eje: Informática teórica Red de Universidades con Carreras en Informática (RedUNCI)

Come citare

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Figueiredo, L. C. D. E. A. (2001). Typing polymorphic recursion. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23287

MLA

Figueiredo, Lucília Camarão de et al. Typing polymorphic recursion. SEDICI UNLP, 2001. http://sedici.unlp.edu.ar/handle/10915/23287.

Chicago

Figueiredo, Lucília Camarão de et al. 2001. Typing polymorphic recursion. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23287.

Harvard

Figueiredo, L. C. D. E. A. 2001, Typing polymorphic recursion, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/23287 [Accessed 8 Aug. 2026].

Condividi e stampa

Salva la scheda, copia il link permanente o stampala in PDF.

Esporta riferimento

Esporta il record nei formati più comuni per usarlo con un gestore bibliografico.

RIS BibTeX

Dettagli della risorsa

Informazioni bibliografiche utili per verificare che sia il materiale corretto.

Titolo: Typing polymorphic recursion

Autore / collaboratori: Figueiredo, Lucília Camarão de et al

Editore: SEDICI UNLP

Anno di pubblicazione: 2001

Lingua: Inglés

Soggetti

Esplora risorse correlate a partire da questi soggetti.

Ciencias Informáticas; Languages; informática; Polymorphism; Programming languages; Type inference