( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
F-Bounded Polymorphism for Object-Oriented Programming.

, , , , и . FPCA, стр. 273-280. ACM, (1989)

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.

Stephen Cook

Ralph Cook

Andrew Cook

Neil Cook

Nicholas Cook

 

Другие публикации лиц с тем же именем

Tactical Synthesis of Efficient Global Search Algorithms., , и . NASA Formal Methods, том NASA/CP-2009-215407 из NASA Conference Proceedings, стр. 171-175. (2009)Verifying equivalence of database-driven applications., , , и . Proc. ACM Program. Lang., 2 (POPL): 56:1-56:29 (2018)Verifying Equivalence of Database-Driven Applications., , , и . CoRR, (2017)Peak Objects.. ECOOP, том 4067 из Lecture Notes in Computer Science, стр. 180-185. Springer, (2006)Evaluating Support for Features in Advanced Modularization Technologies., , и . ECOOP, том 3586 из Lecture Notes in Computer Science, стр. 169-194. Springer, (2005)Feature-Oriented Programming with Object Algebras., , , и . ECOOP, том 7920 из Lecture Notes in Computer Science, стр. 27-51. Springer, (2013)The Orc Programming Language., , , и . FMOODS/FORTE, том 5522 из Lecture Notes in Computer Science, стр. 1-25. Springer, (2009)A Denotational Semantics of Inheritance and its Correctness., и . OOPSLA, стр. 433-443. ACM, (1989)SIGPLAN Notices 24(10).Managed data: modular strategies for data abstraction., , и . Onward!, стр. 179-194. ACM, (2012)A timed semantics of Orc., , , и . Theor. Comput. Sci., 402 (2-3): 234-248 (2008)