( en | de | ru )

 

Disambiguierung von "Giannini, Paola"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Java-Like Calculus with User-Defined Coeffects.

, , , und . ICTCS, Volume 3284 von CEUR Workshop Proceedings, Seite 66-78. CEUR-WS.org, (2022)

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.

Mario Giannini

Carolin Giannini

Colian Giannini

Anna-Pia Paolazzi

Domingos Paola

 

Weitere Publikationen von Autoren mit dem selben Namen

Type Directed Semantics for the Calculus of Looping Sequences., , , und . Int. J. Softw. Informatics, 7 (4): 501-526 (2013)Flexible recovery of uniqueness and immutability (Extended Version)., , , und . CoRR, (2018)Re-classification and multi-threading: FickleMT., , und . SAC, Seite 1297-1304. ACM, (2004)A Java-like calculus with heterogeneous coeffects., , , und . Theor. Comput. Sci., (September 2023)Alias types for "environment-aware" computations., und . WOOD, Volume 82 von Electronic Notes in Theoretical Computer Science, Seite 130-150. Elsevier, (2003)Characterization of typings in polymorphic type discipline, und . LICS, Seite 61-70. IEEE Computer Society, (1988)Automatic useless-code elimination for HOT functional programs., und . J. Funct. Program., 10 (6): 509-559 (2000)Effectively Given Domains and Lambda-Calculus Models, und . Inf. Control., 62 (1): 36-63 (Juli 1984)Multi-Graded Featherweight Java., , , und . ECOOP, Volume 263 von LIPIcs, Seite 3:1-3:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A Calculus for "Environment-Aware" Computation., , und . F-WAN@ICALP, Volume 66 von Electronic Notes in Theoretical Computer Science, Seite 98-115. Elsevier, (2002)