( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).

, , , и . FLOPS, том 4989 из Lecture Notes in Computer Science, стр. 64-80. Springer, (2008)

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.

Diego José Olego

Yaroslavskyy Oleg

Oleg Nivievskyi

Oleg Kashin

Oleg Kovalev

 

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

The Reasoned Schemer, , и . The MIT Press, (июля 2005)Finally, safely-extensible and efficient language-integrated query., , и . PEPM, стр. 37-48. ACM, (2016)Non-canonical Coordination in the Transformational Approach.. JSAI-isAI Workshops, том 10247 из Lecture Notes in Computer Science, стр. 33-44. Springer, (2016)Applicative Abstract Categorial Grammars in Full Swing.. JSAI-isAI Workshops, том 10091 из Lecture Notes in Computer Science, стр. 66-78. (2015)Polynomial Event Semantics - Non-Montagovian Proper Treatment of Quantifiers.. JSAI-isAI Workshops, том 11717 из Lecture Notes in Computer Science, стр. 313-324. Springer, (2018)Implementing Metcast in Scheme.. High. Order Symb. Comput., 18 (3-4): 355-370 (2005)Session Types Without Sophistry - System Description., и . FLOPS, том 12073 из Lecture Notes in Computer Science, стр. 66-87. Springer, (2020)Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7)., , и . NII Shonan Meet. Rep., (2014)Functional Stream Libraries and Fusion: What's Next (NII Shonan Meeting 2018-14)., , и . NII Shonan Meet. Rep., (2018)Many more predecessors: A representation workout.. J. Funct. Program., (2020)