( en | de | ru )

 

Disambiguierung von "Dezani-Ciancaglini, Mariangiola"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Intersection Types in Java: Back to the Future.

, , und . Models, Mindsets, Meta, Volume 11200 von Lecture Notes in Computer Science, Seite 68-86. Springer, (2018)

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.

Vincenzo Ciancaglini

 

Weitere Publikationen von Autoren mit dem selben Namen

Isomorphism of "Functional" Intersection Types., , , und . TYPES, Volume 26 von LIPIcs, Seite 129-149. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)An extension of the basic functionality theory for the λ-calculus., und . Notre Dame J. Formal Log., 21 (4): 685-693 (1980)Preface. Inf. Comput., 109 (1/2): 1-3 (Februar 1994)Security Types for Dynamic Web Data., , und . TGC, Volume 4661 von Lecture Notes in Computer Science, Seite 263-280. Springer, (2006)Types for Role-Based Access Control of Dynamic Web Data., , , und . WFLP, Volume 6559 von Lecture Notes in Computer Science, Seite 1-29. Springer, (2010)May and Must Convergencey in Concurrent Lambda-Calculus., , und . MFCS, Volume 841 von Lecture Notes in Computer Science, Seite 211-220. Springer, (1994)Intersection types and lambda models., , und . Theor. Comput. Sci., 355 (2): 108-126 (2006)On the Preciseness of Subtyping in Session Types., , , und . Log. Methods Comput. Sci., (2017)Partial Types and Intervals., und . SIAM J. Comput., 19 (4): 644-568 (1990)Polymorphic types, fixed-point combinators and continuous lambda-models., und . Formal Description of Programming Concepts, Seite 425-450. North-Holland, (1987)