Typed Unification: when failure may not be wrong - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Typed Unification: when failure may not be wrong

Résumé

In a previous paper, we have investigated unification extended with regular types restricted to an Herbrand interpretation of term functors. Here we extend this investigation allowing arbitrary interpretations for functors. This new approach leads to a new typed unification algorithm which returns most general unifiers, failure or a wrong value denoting a type error during the unification process.
Fichier principal
Vignette du fichier
UNIF_2023_paper_1.pdf (243.43 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : CC BY - Paternité

Dates et versions

hal-04127949 , version 1 (14-06-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-04127949 , version 1

Citer

João Barbosa, Mário Florido, Vítor Santos Costa. Typed Unification: when failure may not be wrong. UNIF 2023 - 37th International Workshop on Unification, Veena Ravishankar; Christophe Ringeissen, Jul 2023, Rome, Italy. ⟨hal-04127949⟩

Collections

UNIF2023
27 Consultations
22 Téléchargements

Partager

Gmail Facebook X LinkedIn More