Uday Reddy

University of Birmingham - Birmingham / United Kingdom

Others

AD Scientific Index ID: 4322106

Registration, Add Profile,
Premium Membership

Print Your Certificate

Uday Reddy's MOST POPULAR ARTICLES

1-) Narrowing as the operational semantics of functional languagesUS ReddyProc. IEEE International Symposium on Logic Programming, 138-151, 19852841985

2-) Term rewriting inductionUS ReddyInternational Conference on Automated Deduction, 162-177, 19902081990

3-) Objects as closures: Abstract semantics of object-oriented languagesU ReddyProceedings of the 1988 ACM Conference on LISP and Functional Programming …, 19881911988

4-) Declaration-free type checkingP Mishra, US ReddyProceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of …, 19851271985

5-) On the Relationship Between Logic and Functional Languages.US ReddyLogic Programming: Functions, Relations, and Equations, 3-36, 19861241986

ARTICLES

Add your articles