Ramesh Subrahmanyam
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1991–1995
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | LICS | Equality between Functionals in the Presence of Coproducts | Daniel J. Dougherty, Ramesh Subrahmanyam |
| 1993 | POPL | Algebraic Reasoning and Completeness in Typed Languages. | Jon G. Riecke, Ramesh Subrahmanyam |
| 1991 | ICALP | Logical and Computational Aspects of Programming with Sets/Bags/Lists. | Val Tannen, Ramesh Subrahmanyam |