( en | de | ru )

 

Disambiguierung von "Vytiniotis, Dimitrios"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
HLIO: mixing static and dynamic typing for information-flow control in Haskell.

, , und . ICFP, Seite 289-301. ACM, (2015)

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.

Dimitrios Krikonis

Dimitrios Papanastasiou

Dimitrios Tourpalis

Dimitrios Karantonis

Dimitrios Papasotiriou

 

Weitere Publikationen von Autoren mit dem selben Namen

Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming., , , , , , , und . Proc. ACM Program. Lang., 5 (ICFP): 1-29 (2021)Complete and decidable type inference for GADTs., , , und . ICFP, Seite 341-352. ACM, (2009)GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness., , , und . ICFP, Seite 424-436. ACM, (2015)Rhea: Automatic Filtering for Unstructured Cloud Storage., , , , , und . NSDI, Seite 343-355. USENIX Association, (2013)A Reflection on Types., , , und . A List of Successes That Can Change the World, Volume 9600 von Lecture Notes in Computer Science, Seite 292-317. Springer, (2016)Generative type abstraction and type-level computation., , , und . POPL, Seite 227-240. ACM, (2011)Let should not be generalized., , und . TLDI, Seite 39-50. ACM, (2010)Demo: 802.11 a/g PHY implementation in ziria, domain-specific language for wireless programming., , , , und . SRIF@SIGCOMM, Seite 27-30. ACM, (2014)Dependent Types: Easy as PIE, und . Volume 10. (April 2007)A quick look at impredicativity., , , und . Proc. ACM Program. Lang., 4 (ICFP): 89:1-89:29 (2020)