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 × Germany
1 × Greece
4 × USA
Collaborated with:
M.Viswanathan J.C.Mitchell J.G.Riecke F.Chang J.Ren M.Abadi L.Cardelli
Talks about:
object (3) subtyp (2) recurs (2) effect (2) type (2) polymorph (1) interpret (1) sequenti (1) composit (1) circular (1)

Person: Ramesh Viswanathan

DBLP DBLP: Viswanathan:Ramesh

Contributed to:

ICST 20092009
ICALP 20012001
LICS 19981998
ICALP 19961996
POPL 19961996
POPL 19951995

Wrote 6 papers:

ICST-2009-ChangRV #resource management #testing
Optimal Resource Allocation for Batch Testing (FC, JR, RV), pp. 91–100.
ICALP-2001-ViswanathanV #composition #reasoning
Foundations for Circular Compositional Reasoning (MV, RV), pp. 835–847.
LICS-1998-Viswanathan #abstraction #first-order #recursion #type system
Full Abstraction for First-Order Objects with Recursive Types and Subtyping (RV), pp. 380–391.
ICALP-1996-MitchellV #effectiveness #modelling #morphism #polymorphism #recursion #type system
Effective Models of Polymorphism, Subtyping and Recursion (JCM, RV), pp. 170–181.
An Interpretation of Objects and Object Types (MA, LC, RV), pp. 396–409.
Isolating Side Effects in Sequential Languages (JGR, RV), pp. 1–12.

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.