2 papers
cs.LO2025
Regular Typed Unification
João Barbosa, Mário Florido, VÃtor Santos Costa
Here we define a new unification algorithm for terms interpreted in semantic domains denoted by a subclass of regular types here called deterministic regular types. This reflects o…
cs.PL2024
Towards Algebraic Subtyping for Extensible Records
Rodrigo Marques, Mário Florido, Pedro Vasconcelos
MLsub is a minimal language with a type system combining subtyping and parametric polymorphism and a type inference algorithm which infers compact principal types. Simple-sub is an…