( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synthesizing functional reactive programs.

, , , и . Haskell@ICFP, стр. 162-175. ACM, (2019)

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.

Mark Yampolsky

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)

Mark Schütte

Crf2 - ein neues Antigen von Aspergillus fumigatus. TU Braunschweig, (2009)

Mark Yampolskiy

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)

Ana Markovi

Experimental and theoretical analysis of the mass transport through porous glass membranes with different pore diameters. Uni Magdeburg, (2009)

Mark Meisel

 

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

Designing a community to support long-term interest in programming for middle school children., , , , , , , и . IDC, стр. 304-307. ACM, (2012)Software Engineering for Infrastructure and Configuration (SEConfig) - Workshop Report., и . ACM SIGSOFT Softw. Eng. Notes, 45 (2): 23-24 (2020)Synthesizing functional reactive programs., , , и . Haskell@ICFP, стр. 162-175. ACM, (2019)Programming by Example: Efficient, but Not "Helpful"., , , и . PLATEAU@SPLASH, том 67 из OASIcs, стр. 3:1-3:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Grammar Filtering for Syntax-Guided Synthesis., , , , и . AAAI, стр. 1611-1618. AAAI Press, (2020)Version space learning for verification on temporal differentials.. ISSTA, стр. 428-431. ACM, (2017)cardComposer: A Functional Programming Card Game., и . ITiCSE (2), стр. 635-636. ACM, (2021)Can reactive synthesis and syntax-guided synthesis be friends?, , , и . PLDI, стр. 229-243. ACM, (2022)The FMCAD 2021 Student Forum.. FMCAD, стр. 1. IEEE, (2021)Probabilistic Automated Language Learning for Configuration Files., , и . CAV (2), том 9780 из Lecture Notes in Computer Science, стр. 80-87. Springer, (2016)