We propose a path-based framework for deriving and simplifying source-tracking information for first-order term unification in the empty theory.

We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory.

We propose a path-based framework for deriving and simplifying source-tracking information for first- order term unification in the empty theory.

We use a framework based on the Unification Logics of Le Chenadec to define, de- rive and simplify proof-based source-tracking for term unification. The objects ...

A framework based on the Unification Logics of Le Chenadec is used to define, derive and simplify proof-based source-tracking for term unification, ...

We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory.

Abstract. AbstractWe propose a path-based framework for deriving and simplifying source-tracking information for first-order term unification in the empty ...

We propose a path-based framework for deriving and simplifying source-tracking information for first-order term unification in the empty theory.

Recommendations · Java Type Unification with Wildcards · Type inference for GADTs, outsidein and anti-unification · Simple unification-based type inference for ...

This work shows a new reduction from Dyck-CFL reachability to set constraints that can be used in practice to solve graph reachability problems involving a ...