( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Consolidation of queries with user-defined functions.

, , , , и . PLDI, стр. 554-564. ACM, (2014)

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.

Dimitrios Papanastasiou

Dimitrios Tourpalis

Dimitrios Moulalis

Dimitrios Tassiopoulos

Dimitrios Samios

 

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

Complete and decidable type inference for GADTs., , , и . ICFP, стр. 341-352. ACM, (2009)GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness., , , и . ICFP, стр. 424-436. ACM, (2015)Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming., , , , , , , и . Proc. ACM Program. Lang., 5 (ICFP): 1-29 (2021)A Reflection on Types., , , и . A List of Successes That Can Change the World, том 9600 из Lecture Notes in Computer Science, стр. 292-317. Springer, (2016)Rhea: Automatic Filtering for Unstructured Cloud Storage., , , , , и . NSDI, стр. 343-355. USENIX Association, (2013)Generative type abstraction and type-level computation., , , и . POPL, стр. 227-240. ACM, (2011)Declarative abstractions for tensor program partitioning.. PPDP, стр. 3:1. ACM, (2020)Equality proofs and deferred type errors: a compiler pearl., , и . ICFP, стр. 341-352. ACM, (2012)Guarded impredicative polymorphism., , , и . PLDI, стр. 783-796. ACM, (2018)Broom: Sweeping Out Garbage Collection from Big Data Systems., , , , , , , , , и . HotOS, USENIX Association, (2015)