( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Polymorphic algebraic data type reconstruction.

, и . PPDP, стр. 85-96. ACM, (2006)

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.

Marieta Ioana Toma

Zentrosomenmorphologie in Prostatakarzinomen: eine immunhistologische Studie mit Korrelation zu DNA-Ploidie und kliniko-pathologischen Parametern. TU Dresden, (2008)

Tom Herrmann

Tom Hellriegel

Tom Nilges

Tom Walde

 

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

Confluence for Functional Dependencies., и . Trends in Functional Programming, том 9 из Trends in Functional Programming, стр. 49-64. Intellect, (2008)Consistent Subtyping for All., , , и . ACM Trans. Program. Lang. Syst., 42 (1): 2:1-2:79 (2020)Introduction to the 30th International Conference on Logic Programming Special Issue., и . Theory Pract. Log. Program., 14 (4-5): 401-414 (2014)Tabling as a Library with Delimited Control., , , и . IJCAI, стр. 4145-4149. IJCAI/AAAI Press, (2016)Guard Reasoning in the Refined Operational Semantics of CHR., , и . Constraint Handling Rules, том 5388 из Lecture Notes in Computer Science, Springer, (2008)Automatic Generation of Test Inputs for Mercury., , и . LOPSTR, том 5438 из Lecture Notes in Computer Science, стр. 71-86. Springer, (2008)Let should not be generalized., , и . TLDI, стр. 39-50. ACM, (2010)Towards Typed Prolog., , , и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 693-697. Springer, (2008)Efficient compilation of algebraic effect handlers., , , и . Proc. ACM Program. Lang., 5 (OOPSLA): 1-28 (2021)Memoizing a Monadic Mixin DSL., , , , и . WFLP, том 6816 из Lecture Notes in Computer Science, стр. 68-85. Springer, (2011)