BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
3 × USA
Collaborated with:
V.Tannen D.J.Dougherty J.G.Riecke
Talks about:
comput (2) coproduct (1) function (1) adequaci (1) abstract (1) program (1) presenc (1) languag (1) complet (1) between (1)

Person: Ramesh Subrahmanyam

DBLP DBLP: Subrahmanyam:Ramesh

Contributed to:

LICS 19951995
POPL 19931993
LFP 19921992
ICALP 19911991

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.