Characterization of typings in polymorphic type discipline.

Paola Giannini, Simona Ronchi Della Rocca

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

Polymorphic type discipline for λ-calculus is an extension of H.B. Curry's (1969) classical functionality theory, in which types can be universally quantified. An algorithm that, given a term M, builds a set of constraints, is satisfied. Moreover, all the typings for M (if any) are built from the set of constraints by substitutions. Using the set of constraints, some properties of polymorphic type discipline are proved.

Lingua originaleInglese
Titolo della pubblicazione ospiteProc Third Annu Symp on Logic in Comput Sci
EditorePubl by IEEE
Pagine61-70
Numero di pagine10
ISBN (stampa)0818608536
Stato di pubblicazionePubblicato - 1988
Pubblicato esternamente

Serie di pubblicazioni

NomeProc Third Annu Symp on Logic in Comput Sci

Fingerprint

Entra nei temi di ricerca di 'Characterization of typings in polymorphic type discipline.'. Insieme formano una fingerprint unica.

Cita questo