Français
English
identification
Menu
Recherche
Browse Collections
Aide
Français
English
identification
Structural Subtyping of Non-Recursive Types is Decidable
Kuncak, Viktor
;
Rinard, Martin
2003
Télécharger
Formats
Format
BibTeX
Voir
Télécharger
MARC
Voir
Télécharger
MARCXML
Voir
Télécharger
DublinCore
Voir
Télécharger
EndNote
Voir
Télécharger
NLM
Voir
Télécharger
RefWorks
Voir
Télécharger
RIS
Voir
Télécharger
Fichiers
Détails
Titre
Structural Subtyping of Non-Recursive Types is Decidable
Auteur(s)
Kuncak, Viktor
;
Rinard, Martin
Publié dans
Eighteenth Annual IEEE Symposium on Logic in Computer Science
Pages
96-107
Date
2003
DOI
https://doi.org/10.1109/LICS.2003.1210049
Laboratoires
LARA
Le document apparaît dans
Production scientifique et compétences
>
I&C - Faculté Informatique & Communications
>
IINFCOM
>
LARA - Laboratoire d'analyse et de raisonnement automatisés
Travail hors EPFL
Papiers de conférence
Publié
Date de création de la notice
2007-08-21
Actions
Aperçu
Sélectionner le fichier :
KuncakRinard03StructuralSubtypingNonRecursiveTypesDecidable - n/a