( en | de | ru )

 

Disambiguierung von "Guha, Arjun"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Minding the (semantic) gap: engineering programming language theory.

, und . FoSER, Seite 155-156. ACM, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Selvam Arjunan

Elmar Guha

Arjun Roy

Gaurisankar Guha

Arjun Chandra

 

Weitere Publikationen von Autoren mit dem selben Namen

Do Machine Learning Models Produce TypeScript Types That Type Check?, und . ECOOP, Volume 263 von LIPIcs, Seite 37:1-37:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Participatory networking: an API for application control of SDNs., , , , und . SIGCOMM, Seite 327-338. ACM, (2013)Flapjax: a programming language for Ajax applications., , , , , , und . OOPSLA, Seite 1-20. ACM, (2009)Putting in all the stops: execution control for JavaScript., , , , und . PLDI, Seite 30-45. ACM, (2018)Tortoise: interactive system configuration repair., , und . ASE, Seite 625-636. IEEE Computer Society, (2017)Machine-verified network controllers., , und . PLDI, Seite 483-494. ACM, (2013)Relationally-parametric polymorphic contracts., , , und . DLS, Seite 29-40. ACM, (2007)The Essence of JavaScript., , und . ECOOP, Volume 6183 von Lecture Notes in Computer Science, Seite 126-150. Springer, (2010)npm-follower: A Complete Dataset Tracking the NPM Ecosystem., , , und . ESEC/SIGSOFT FSE, Seite 2132-2136. ACM, (2023)FatTire: declarative fault tolerance for software-defined networks., , , und . HotSDN, Seite 109-114. ACM, (2013)