| 2004 | ESOP | System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types. | Sbastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury |
| 2001 | ESOP | What Are Polymorphically-Typed Ambients? | Torben Amtoft, A. J. Kfoury, Santiago M. Perics-Geertsen |
| 1999 | LICS | Type Inference for Recursive Definitions. | A. J. Kfoury, Santiago M. Perics-Geertsen |
| 1999 | POPL | Principality and Decidable Type Inference for Finite-Rank Intersection Types. | A. J. Kfoury, J. B. Wells |
| 1995 | LICS | New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi | A. J. Kfoury, J. B. Wells |
| 1990 | LICS | Type Reconstruction in Finite-Rank Fragments of the Polymorphic lambda-Calculus (Extended Summary) | A. J. Kfoury, Jerzy Tiuryn |
| 1990 | STOC | The Undecidability of the Semi-Unification Problem (Preliminary Report) | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
| 1989 | LICS | Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report) | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
| 1988 | LICS | On the Computational Power of Universally Polymorphic Recursion | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
| 1988 | POPL | A Proper Extension of ML with an Effective Type-Assignment. | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
| 1987 | LICS | The Hierarchy of Finitely Typed Functional Programs (Short Version) | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
| 1980 | FOCS | Loop Elimination and Loop Reduction-A Model-Theoretic Analysis of Programs (Partial Report) | A. J. Kfoury |
| 1980 | POPL | Analysis of Simple Programs Over Different Sets of Primitives. | A. J. Kfoury |