`Travelled to:`

1 × Spain

1 × United Kingdom

2 × Italy

9 × USA

`Collaborated with:`

J.Tiuryn J.B.Wells P.Urzyczyn S.M.Pericás-Geertsen ∅ T.Amtoft S.Carlier J.Polakow

`Talks about:`

type (12) polymorph (3) infer (3) finit (3) rank (3) intersect (2) fragment (2) calculus (2) program (2) problem (2)

## Person: A. J. Kfoury

### DBLP: Kfoury:A=_J=

### Contributed to:

### Wrote 13 papers:

- ESOP-2004-CarlierPWK #flexibility #linear #type system
- System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types (SC, JP, JBW, AJK), pp. 294–309.
- ESOP-2001-AmtoftKP #question #what
- What Are Polymorphically-Typed Ambients? (TA, AJK, SMPG), pp. 206–220.
- LICS-1999-KfouryP #recursion #type inference
- Type Inference for Recursive Definitions (AJK, SMPG), pp. 119–128.
- POPL-1999-KfouryW #decidability #type inference
- Principality and Decidable Type Inference for Finite-Rank Intersection Types (AJK, JBW), pp. 161–174.
- LICS-1995-KfouryW #normalisation #proving #reduction #semantics #λ-calculus
- New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi (AJK, JBW), pp. 311–321.
- LFP-1994-KfouryW #algorithm #higher-order #type inference #λ-calculus
- A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order λ-Calculus (AJK, JBW), pp. 196–207.
- LICS-1990-KfouryT #polymorphism #re-engineering #λ-calculus
- Type Reconstruction in Finite-Rank Fragments of the Polymorphic λ-Calculus (AJK, JT), pp. 2–11.
- STOC-1990-KfouryTU #problem
- The Undecidability of the Semi-Unification Problem (AJK, JT, PU), pp. 468–476.
- LICS-1989-KfouryTU #problem #unification
- Computational Consequences and Partial Solutions of a Generalized Unification Problem (AJK, JT, PU), pp. 98–105.
- LICS-1988-KfouryTU #on the #polymorphism #power of #recursion
- On the Computational Power of Universally Polymorphic Recursion (AJK, JT, PU), pp. 72–81.
- POPL-1988-KfouryTU #effectiveness #ml
- A Proper Extension of ML with an Effective Type-Assignment (AJK, JT, PU), pp. 58–69.
- LICS-1987-KfouryTU #functional #source code
- The Hierarchy of Finitely Typed Functional Programs (AJK, JT, PU), pp. 225–235.
- POPL-1980-Kfoury #analysis #set #source code
- Analysis of Simple Programs Over Different Sets of Primitives (AJK), pp. 56–61.