( en | de | ru )

 

Disambiguation of "Trifonov, Valery"

Author of the publication

copydeleteadd this publication to your clipboard
On Binary Methods.

, , , , , , , and . Theory Pract. Object Syst., 1 (3): 221-242 (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Trifon Trifonov

Plamen Trifonov

Valery Makhavikou

Trifon Trifonov

Valéry Schmid

 

Other publications of authors with the same name

Safe and Principled Language Interoperation., and . ESOP, volume 1576 of Lecture Notes in Computer Science, page 128-146. Springer, (1999)Application of OOP Type Theory: State, Decidability, Integragtion., , , and . OOPSLA, page 16-30. ACM, (1994)OOPSLA'94, Addendum to the Proceedings: OOPS Messenger 5(4) October 1994.Representing Java Classes in a Typed Intermediate Language., , and . ICFP, page 183-196. ACM, (1999)SIGPLAN Notices 34(9), September 1999.Type-Directed Continuation Allocation., and . Types in Compilation, volume 1473 of Lecture Notes in Computer Science, page 116-135. Springer, (1998)Intensional analysis of quantified types., , and . ACM Trans. Program. Lang. Syst., 25 (2): 159-209 (2003)Simulating quantified class constraints.. Haskell, page 98-102. ACM, (2003)Predicting interactions in protein networks by completing defective cliques., , , and . Bioinform., 22 (7): 823-829 (2006)An Interpretation of Typed OOP in a Language with State., , , and . LISP Symb. Comput., 8 (4): 357-397 (1995)Parallel Functional Reactive Programming., , and . PADL, volume 1753 of Lecture Notes in Computer Science, page 16-31. Springer, (2000)A Syntactic Approach to Foundational Proof-Carrying Code., , , , and . J. Autom. Reason., 31 (3-4): 191-229 (2003)