Ramesh Subrahmanyam

According to our database, Ramesh Subrahmanyam authored at least 11 papers between 1990 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2002

Type Systems in Programming Languages.

Ramesh Subrahmanyam

Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2002

2000

Equality between Functionals in the Presence of Coproducts.

Daniel J. Dougherty, Ramesh Subrahmanyam

Inf. Comput., 2000

1999

Conditions for the completeness of functional and algebraic equational reasoning.

Jon G. Riecke, Ramesh Subrahmanyam

Math. Struct. Comput. Sci., 1999

1998

Negation as Failure as Resolution.

Vijay Chandru, Suman Roy, Ramesh Subrahmanyam

Constraints An Int. J., 1998

1996

Constructive Negation in Definite Constraint Logic Programs.

Vijay Chandru, Suman Roy, Ramesh Subrahmanyam

Proceedings of the Concurrency and Parallelism, 1996

1994

Extensions to Type Systems Can Preserve Operational Equivalences.

Jon G. Riecke, Ramesh Subrahmanyam

Proceedings of the Theoretical Aspects of Computer Software, 1994

1993

Algebraic Reasoning and Completeness in Typed Languages.

Jon G. Riecke, Ramesh Subrahmanyam

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

1992

On Extending Computational Adequacy by Data Abstraction.

Val Tannen, Ramesh Subrahmanyam

Proceedings of the Conference on Lisp and Functional Programming, 1992

1991

Logical and Computational Aspects of Programming with Sets/Bags/Lists.

Val Tannen, Ramesh Subrahmanyam

Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

On Adding Algebraic Theories with Induction to Typed Lambda Calculi.

Val Breazu-Tannen, Ramesh Subrahmanyam

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Complexity of Algebraic Specification.

Ramesh Subrahmanyam

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1990