BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
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.
POPL-1996-AbadiCV
An Interpretation of Objects and Object Types (MA, LC, RV), pp. 396–409.
POPL-1995-RieckeV
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.