( en | de | ru )

 

Disambiguation of "Kfoury, A. J."

Author of the publication

copydeleteadd this publication to your clipboard
Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report)

, , and . LICS, page 98-105. IEEE Computer Society, (1989)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

J A Werner

A J Zensus

Manuel J A Eugster

Manuel J A Eugster

Jacobus A L J J Geijsen

 

Other publications of authors with the same name

What Are Polymorphically-Typed Ambients?, , and . ESOP, volume 2028 of Lecture Notes in Computer Science, page 206-220. Springer, (2001)Type theory and rewriting theory for expressive, efficient and reliable programming languages.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 61-62 (2000)Principality and Decidable Type Inference for Finite-Rank Intersection Types., and . POPL, page 161-174. ACM, (1999)The Hierarchy of Finitely Typed Functional Programs (Short Version), , and . LICS, page 225-235. IEEE Computer Society, (1987)Necessary and Sufficient Conditions for University of Programming Formalisms (Partial Report)., and . Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 279-289. Springer, (1983)Some Connections Between iterative Programs, Recursive Programs, and First-Order Logic.. Logic of Programs, volume 131 of Lecture Notes in Computer Science, page 150-166. Springer, (1981)Recursion Versus Iteration at Higher-Orders.. FSTTCS, volume 1346 of Lecture Notes in Computer Science, page 57-73. Springer, (1997)The Undecidability of the Semi-Unification Problem (Preliminary Report), , and . STOC, page 468-476. ACM, (1990)Algo-Like Languages with Higher-Order Procedures and Their Expressive Power., and . Logic at Botik, volume 363 of Lecture Notes in Computer Science, page 186-199. Springer, (1989)A Proper Extension of ML with an Effective Type-Assignment., , and . POPL, page 58-69. ACM Press, (1988)