- A Type System for Certified Binaries Zhong Shao Bratin Saha Valery Trifonov Nikolaos Papaspyrou
- Precision in Practice: A Type-Preserving Java Christopher League1
- Fully Reflexive Intensional Type Analysis Valery Trifonov Bratin Saha Zhong Shao
- TypePreserving Compilation of Featherweight Java Christopher League, Valery Trifonov, and Zhong Shao #
- Yale University Department of Computer Science
- Simulating Quantified Class Constraints Valery Trifonov
- Type Inference for Recursively Constrained Types and its Application to OOP
- Fully Reflexive Intensional Type Analysis # Valery Trifonov Bratin Saha Zhong Shao
- On Binary Methods Kim Bruce, Luca Cardelli, Giuseppe Castagna,
- Subtyping Constrained Types Valery Trifonov # ## and Scott Smith #
- Safe and Principled Language Interoperation ? Valery Trifonov and Zhong Shao
- A Type System for Certified Binaries Zhong Shao Bratin Saha Valery Trifonov Nikolaos Papaspyrou
- TypePreserving Compilation of Featherweight Java CHRISTOPHER LEAGUE, ZHONG SHAO, and VALERY TRIFONOV
- Parallel Functional Reactive Programming John Peterson, Valery Trifonov, and Andrei Serjantov
- Supporting Binary Compatibility with Static Compilation Dachuan Yu Zhong Shao Valery Trifonov
- Journal of Automated Reasoning 31: 191229, 2003. 2004 Kluwer Academic Publishers. Printed in the Netherlands.
- Sound Polymorphic Type Inference for Objects Jonathan Eifrig \Lambday Scott Smith \Lambda Valery Trifonov \Lambday
- A Type System for Certified Binaries ZHONG SHAO and VALERY TRIFONOV
- Type-Preserving Compilation of Featherweight IL (Extended Abstract)
- Parallel Functional Reactive Programming John Peterson, Valery Trifonov, and Andrei Serjantov
- Representing Java Classes in a Typed Intermediate Language Christopher League Zhong Shao Valery Trifonov
- Type-Preserving Compilation of Featherweight IL (Extended Abstract)
- Supporting Binary Compatibility with Static Compilation Dachuan Yu Zhong Shao Valery Trifonov
- Simulating Quantified Class Constraints Valery Trifonov
- , , 1--41 () fl Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- TypeDirected Continuation Allocation ? Zhong Shao and Valery Trifonov
