Typed Unification: when failure may not be wrong - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2023

Typed Unification: when failure may not be wrong

Abstract

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
Origin : Files produced by the author(s)
Licence : CC BY - Attribution

Dates and versions

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

Licence

Attribution

Identifiers

  • HAL Id : hal-04127949 , version 1

Cite

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 View
22 Download

Share

Gmail Facebook X LinkedIn More