Searching for authors named "Valery Trifonov" – sorted by Relevance.
-
Type-directed continuation allocation
- Type-Directed Continuation Allocation Zhong Shao and Valery Trifonov Dept. of Computer Science
- Cited by 3 (1 self) – Add To MetaCart
-
Subtyping Constrained Types
- Subtyping Constrained Types (Revised Draft) Valery Trifonov y Scott Smith Department
- Cited by 61 (2 self) – Add To MetaCart
-
Safe and Principled Language Interoperation
- Safe and Principled Language Interoperation ? Valery Trifonov and Zhong Shao Department
- Cited by 10 (0 self) – Add To MetaCart
-
unknown title
- *, Valery Trifonov*, and Mark Gerstein¶ Submitted to Bioinformatics Department of Molecular Biophysics
- Add To MetaCart
-
High-Assurance Common Language Runtime
- (PI) Valery Trifonov Princeton University Yale University Component software platforms
- Add To MetaCart
-
Representing Java Classes in a Typed Intermediate Language
- Trifonov Dept. of Computer Science Yale University New Haven, CT 06520 fleague, shao
- Cited by 30 (8 self) – Add To MetaCart
-
Functional Java Bytecode
- Functional Java Bytecode ∗ Christopher LEAGUE Valery TRIFONOV Zhong SHAO ABSTRACT We describe
- Cited by 17 (4 self) – Add To MetaCart
-
Type-Preserving Compilation of Featherweight Java
- Research Projects Agency or the U.S. Government. Christopher League, Valery Trifonov, and Zhong Shao
- Cited by 31 (8 self) – Add To MetaCart
-
Intensional analysis of quantified types
- Intensional Analysis of Quantified Types BRATIN SAHA, VALERY TRIFONOV, and ZHONG SHAO Yale
- Cited by 1 (1 self) – Add To MetaCart
-
Parallel Functional Reactive Programming
- Parallel Functional Reactive Programming John Peterson, Valery Trifonov, and Andrei Serjantov Yale
- Cited by 4 (0 self) – Add To MetaCart

