BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kfoury:A=_J=

Contributed to:

ESOP 20042004
ESOP 20012001
LICS 19991999
POPL 19991999
LICS 19951995
LFP 19941994
LICS 19901990
STOC 19901990
LICS 19891989
LICS 19881988
POPL 19881988
LICS 19871987
POPL 19801980

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.