Concepedia

A. J. Kfoury

AJ

31

Publications

1K

Citations

19

H-Index

1974

Active since

Affiliations

Boston University(Current)

University of Warsaw

Institute of Mathematics

Massachusetts Institute of Technology

Washington State University

A. J. Kfoury is an author at Boston University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSoftware AnalysisVerificationProgram AnalysisFormal SpecificationSystems Engineering

Publications per year

1974–2014

31

Publications

31

Type reconstruction in the presence of polymorphic recursion

A. J. Kfoury, Jerzy Tiuryn, Paweł Urzyczyn · ACM Transactions on Programming Languages and Systems · 1993 · 82 citations · Full text

A linearization of the Lambda-calculus and consequences

A. J. Kfoury · Journal of Logic and Computation · 2000 · 79 citations

Mathematical Programming, Larger λ-Calculi, Algebraic Logic +12

Principality and decidable type inference for finite-rank intersection types

A. J. Kfoury, J. B. Wells · 1999 · 72 citations · Full text

Finite-rank Intersection Types, Engineering, Generic Programming +14

Principality and type inference for intersection types using expansion variables

A. J. Kfoury, J. B. Wells · Theoretical Computer Science · 2003 · 69 citations

Type Theory, Type System, Computer Science +2

A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus

A. J. Kfoury, J. B. Wells · 1994 · 60 citations

Rows per page

1–5 of 31