A decidable intersection type system based on relevance

Ferruccio Damiani, Paola Giannini

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

Abstract

In this paper we introduce a notion of “relevance” for type assignment systems including intersection types. We define a relevant system which is an extension of a particular rank 2 intersection system and of the polymorphic type discipline limited to rank 2. We study some of its properties and finally state the decidability of type inference providing an algorithm which is sound and complete.

Lingua originaleInglese
Titolo della pubblicazione ospiteTheoretical Aspects of Computer Software - International Symposium TACS 1994, Proceedings
EditorMasami Hagiya, John C. Mitchell
EditoreSpringer Verlag
Pagine707-725
Numero di pagine19
ISBN (stampa)9783540578871
DOI
Stato di pubblicazionePubblicato - 1994
Pubblicato esternamente
Evento2nd International Symposium on Theoretical Aspects of Computer Software, TACS 1994 - Sendai, Japan
Durata: 19 apr 199422 apr 1994

Serie di pubblicazioni

NomeLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume789 LNCS
ISSN (stampa)0302-9743
ISSN (elettronico)1611-3349

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???2nd International Symposium on Theoretical Aspects of Computer Software, TACS 1994
Paese/TerritorioJapan
CittàSendai
Periodo19/04/9422/04/94

Fingerprint

Entra nei temi di ricerca di 'A decidable intersection type system based on relevance'. Insieme formano una fingerprint unica.

Cita questo