1 × Spain
3 × USA
V.Tannen D.J.Dougherty J.G.Riecke
comput (2) coproduct (1) function (1) adequaci (1) abstract (1) program (1) presenc (1) languag (1) complet (1) between (1)
Person: Ramesh Subrahmanyam
Wrote 4 papers:
- LICS-1995-DoughertyS #similarity
- Equality between Functionals in the Presence of Coproducts (DJD, RS), pp. 282–291.
- POPL-1993-ReickeS #algebra #reasoning
- Algebraic Reasoning and Completeness in Typed Languages (JGR, RS), pp. 185–195.
- LFP-1992-TannenS #abstraction #on the
- On Extending Computational Adequacy by Data Abstraction (VT, RS), pp. 161–169.
- ICALP-1991-TannenS #aspect-oriented #logic #programming #set
- Logical and Computational Aspects of Programming with Sets/Bags/Lists (VT, RS), pp. 60–75.