( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation.

. University of Tübingen, Germany, (2020)

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.

Giordano Paolo

Paolo Molteni

Paolo Bavaj

Paolo Fornara

Paolo Pedri

 

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

Language composition untangled., , и . LDTA, стр. 7. ACM, (2012)A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation., , , и . PLDI, стр. 145-155. ACM, (2014)Scalable prediction of non-functional properties in software product lines: Footprint and memory consumption, , , , , и . Information and Software Technology, 55 (3): 491--507 (марта 2013)A Theory of Higher-Order Subtyping with Type Intervals (Extended Version)., и . CoRR, (2021)Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation.. University of Tübingen, Germany, (2020)Towards improved GADT reasoning in Scala., , и . SCALA@ECOOP, стр. 12-16. ACM, (2019)Reifying and optimizing collection queries for modularity.. SPLASH, стр. 41-44. ACM, (2012)Open GADTs and declaration-site variance: a problem statement.. SCALA@ECOOP, стр. 5:1-5:4. ACM, (2013)Incremental -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation., , и . ESOP, том 11423 из Lecture Notes in Computer Science, стр. 553-580. Springer, (2019)Scalable prediction of non-functional properties in software product lines: Footprint and memory consumption., , , , , и . Inf. Softw. Technol., 55 (3): 491-507 (2013)