A General Theory of Semi-Unification (1993)

by Said Jahama , A.J. Kfoury

Active Bibliography

135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
Extending the Type Checker of SML by Polymorphic Recursion: A Correctness Proof – Martin Emms, Hans Leiß, Centrum Fur Informationsund - 1997
A Decidable Case of the Semi-Unification Problem (Draft Version) – Hans Leiß, Centrum Für Informationsund, Universität München, Fritz Henglein - 1991
6 Fast left-linear semi-unification – Fritz Henglein - 1990
2 Type Inference for Recursive Definitions – Assaf J. Kfoury, Santiago M. Pericás-Geertsen - 2000
Simultaneous Rigid E-Unification is not so Simple – Anatoli Degtyarev, Yuri Matiyasevich, Andrei Voronkov - 1995
AT DIFFERENT RANKS – Santiago M. Pericas-geertsen, Assaf J. Kfoury, Ph. D, Santiago M. Pericas-geertsen - 1999
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
6 Databases and Finite-Model Theory – Victor Vianu - 1997
11 Null Inclusion Dependencies in Relational Databases – Mark Levene, George Loizou - 1994
12 Typability and Type Checking in the Second-Order lambda-Calculus Are Equivalent and Undecidable – J. B. Wells - 1993
1 Weak Subsumption Constraints for Type Diagnosis: An Incremental Algorithm (Extended Abstract) – Martin Müller, Joachim Niehren - 1995
78 A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus – A. J. Kfoury, J. B. Wells - 1993
On the Decidability and Axiomatization of Query Finiteness in Deductive Databases – Michael Kifer - 1998
5 Equational theories and database constraints – Stavros Stylianos Cosmadakis - 1985
9 How to Prevent Interaction of Functional and Inclusion Dependencies – Mark Levene, George Loizou - 1995
9 Independent database schemes under functional and inclusion dependencies – Paolo Atzeni - 1987
6 Guaranteeing No Interaction between Functional Dependencies and Tree-Like Inclusion Dependencies – Mark Levene, George Loizou - 1998
4 Dynamic Query Optimization under Access Limitations and Dependencies – Andrea Calì, Diego Calvanese, Davide Martinenghi