Searching for authors named "Venkatesh Choppella" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Polymorphic Type Reconstruction Using Type Equations
- …Polymorphic Type Reconstruction using Type Equations ⋆ Venkatesh Choppella Indian Institute…
- Cited by 1 (1 self) – Add To MetaCart
-
Source-tracking Unification using semi-Dyck labeled reachability
- …Abstract Source-tracking Unification using semi-Dyck labeled reachability Venkatesh Choppella ∗,1…
- Add To MetaCart
-
Diagnosis of Ill-typed Programs
- …Diagnosis of Ill-typed Programs Venkatesh Choppella and Christopher T. Haynes Indiana University…
- Cited by 6 (0 self) – Add To MetaCart
-
On Lower Bounds for the Matrix Chain Ordering Problem
- …On Lower Bounds for the Matrix Chain Ordering Problem Phillip G. Bradford y Venkatesh Choppella…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 4.
