10 search results - page 1 / 2 » Order-Sorted Feature Theory Unification |
SLP
1993
13 years 6 months ago
1993
RTA
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We extend first-order order-sorted unification by permitting regular expression sorts for variables and in the domains of function symbols. The set of basic sorts is ...
ICFP
2002
ACM
14 years 5 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...
EACL
1989
ACL Anthology
13 years 6 months ago
1989
ACL Anthology
CT Feature Unification can be integrated with Lambek Theorem Proving in a simple and straightforward way. Two principles determine all distribution of features in LTP. It is not ne...
CADE
2003
Springer
14 years 5 months ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...