Searching for authors named "Radha Jagadeesan" – sorted by Relevance.
57 documents found, showing 1 through 10.
Next 10 →
-
On The Expressiveness of 3-Valued Models
- …On The Expressiveness of 3-Valued Models Patrice Godefroid 1 and Radha Jagadeesan ?2 1 Bell…
- Cited by 18 (1 self) – Add To MetaCart
-
A Game Semantics For Generic Polymorphism
- … University Computing Laboratory Radha Jagadeesan DePaul University PRG-RR-03-02 Oxford University Computing…
- Cited by 4 (2 self) – Add To MetaCart
-
An abstract semantics for a higher-order functional language with logic variables
- … Abstract Semantics for a Higher-Order Functional Language with Logic Variables Radha Jagadeesan…
- Cited by 1 (1 self) – Add To MetaCart
-
Static support for capability-based programming in Java
- … Science and Engineering Penn State University University Park, Pa 16802 saraswat@(email omitted); Radha…
- Cited by 1 (0 self) – Add To MetaCart
-
New Foundations for the Geometry of Interaction
- …New Foundations for the Geometry of Interaction Samson Abramsky Radha Jagadeesan Dept…
- Cited by 63 (19 self) – Add To MetaCart
-
Games and Full Completeness for Multiplicative Linear Logic
- …Games and Full Completeness for Multiplicative Linear Logic Samson Abramsky and Radha Jagadeesan…
- Cited by 166 (25 self) – Add To MetaCart
-
Games for Controls
- … of the interaction. In the parlance of game ∗ Supported in part by NSF Cybertrust 0430175 Games for Controls Radha…
- Add To MetaCart
-
A typed calculus for aspect-oriented programs. Submitted for publication, at http://fpl.cs.depaul.edu/ajeffrey/papers/typedABL. pdf
- …A Typed Calculus of Aspect-oriented Programs ⋆ Radha Jagadeesan, Alan Jeffrey, and James Riely CTI…
- Cited by 2 (2 self) – Add To MetaCart
-
Probabilistic Concurrent Constraint Programming
- …Probabilistic Concurrent Constraint Programming Vineet Gupta ? Radha Jagadeesan ?? Vijay…
- Cited by 16 (0 self) – Add To MetaCart
-
Hybrid cc, Hybrid Automata and Program Verification (Extended Abstract)
- …Hybrid cc, Hybrid Automata and Program Verification (Extended Abstract) Vineet Gupta ? Radha…
- Cited by 8 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
