Ramesh Subrahmanyam

Publication Activity (10 Years)

Years Active: 1990-2000
Publications (10 Years): 0

Publications

Daniel J. Dougherty, Ramesh Subrahmanyam
Equality between Functionals in the Presence of Coproducts. Inf. Comput. 157 (1-2) (2000)
Jon G. Riecke, Ramesh Subrahmanyam
Conditions for the completeness of functional and algebraic equational reasoning. Math. Struct. Comput. Sci. 9 (6) (1999)
Vijay Chandru, Suman Roy, Ramesh Subrahmanyam
Negation as Failure as Resolution. Constraints An Int. J. 3 (4) (1998)
Vijay Chandru, Suman Roy, Ramesh Subrahmanyam
Constructive Negation in Definite Constraint Logic Programs. ASIAN (1996)
Daniel J. Dougherty, Ramesh Subrahmanyam
Equality between Functionals in the Presence of Coproducts LICS (1995)
Jon G. Riecke, Ramesh Subrahmanyam
Extensions to Type Systems Can Preserve Operational Equivalences. TACS (1994)
Jon G. Riecke, Ramesh Subrahmanyam
Algebraic Reasoning and Completeness in Typed Languages. POPL (1993)
Val Tannen, Ramesh Subrahmanyam
On Extending Computational Adequacy by Data Abstraction. LISP and Functional Programming (1992)
Val Breazu-Tannen, Ramesh Subrahmanyam
On Adding Algebraic Theories with Induction to Typed Lambda Calculi. AMAST (1991)
Val Tannen, Ramesh Subrahmanyam
Logical and Computational Aspects of Programming with Sets/Bags/Lists. ICALP (1991)
Ramesh Subrahmanyam
Complexity of Algebraic Specification. FSTTCS (1990)