Title :
Computational consequences and partial solutions of a generalized unification problem
Author :
Kfoury, A.J. ; Tiuryn, J. ; Urzyczyn, P.
Author_Institution :
Dept. of Comput. Sci., Boston Univ., MA, USA
Abstract :
A generalization of first-order unification, called semiunification, is studied with two goals in mind: (1) type-checking functional programs relative to an improved polymorphic type discipline; and (2) deciding the typability of terms in a restricted form of the polymorphic λ-calculus
Keywords :
formal logic; computational consequences; first-order unification; generalized unification problem; improved polymorphic type discipline; partial solutions; polymorphic λ-calculus; restricted form; semiunification; terms; typability; type-checking functional programs; Computer science; Equations; Functional programming; Logic; Mathematics; Writing;
Conference_Titel :
Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on
Conference_Location :
Pacific Grove, CA
Print_ISBN :
0-8186-1954-6
DOI :
10.1109/LICS.1989.39163