|
СТ |
Precision in Practice: A Type-Preserving Java Compiler |
2003 |
League C., Shao Z., Trifonov V. |
|
|
|
Lecture Notes in Computer Science |
11.04.2003 |
|
СТ |
Parallel Functional Reactive Programming |
2000 |
Peterson J., Trifonov V., Serjantov A. |
|
|
|
Lecture Notes in Computer Science |
03.02.2000 |
|
СТ |
Representing Java Classes in a Typed Intermediate Language |
1999 |
League C., Shao Z., Trifonov V. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
|
СТ |
Safe and Principled Language Interoperation |
1999 |
Trifonov V., Shao Z. |
|
|
|
Lecture Notes in Computer Science |
07.04.1999 |
|
СТ |
Type-Directed Continuation Allocation |
1998 |
Shao Z., Trifonov V. |
|
|
|
Lecture Notes in Computer Science |
24.09.1998 |
|
СТ |
Sound Polymorphic Type Inference for Objects |
1995 |
Eifrig J., Smith S., Trifonov V. |
|
|
|
SIGPLANE Notices |
26.12.1995 |
|
СТ |
Application of OOP Type Theory: State, Decidability, Integration |
1994 |
Eifrig J., Smith S., Trifonov V., Zwarico A. |
|
|
|
SIGPLAN Notices |
22.12.1994 |
