A. J. Kfoury
Author
Alternate names Assaf Kfoury, A. J. Kfoury, Assaf J. Kfoury, A. Kfoury
Past institutions Boston University, Massachusetts Institute of Technology
H-index: 22
I10-index: 39
Works count: 167
Citations count: 2,771
Introduction to formal language theory
1980 · Robert N. Moll, Michael A. Arbib, et al. · Computer Languages
A Programming Approach to Computability
1982 · A. J. Kfoury, Robert N. Moll, et al. · Springer eBooks
Type reconstruction in the presence of polymorphic recursion
1993 · A. J. Kfoury, Jerzy Tiuryn, et al. · ACM Transactions on Programming Languages and Systems