From post

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.

 

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

Type Directives and Type Graphs in Elm., , и . IFL, стр. 2:1-2:12. ACM, (2016)On the rôle of minimal typing derivations in type-driven program transformation., и . LDTA, стр. 2. ACM, (2010)Object-sensitive Type Analysis of PHP., и . PEPM, стр. 9-20. ACM, (2015)Embedding in Switching Classes with Skew Gains., , , и . ICGT, том 3256 из Lecture Notes in Computer Science, стр. 257-270. Springer, (2004)Solved and Open Problems in Type Error Diagnosis.. STAF Workshops, том 2707 из CEUR Workshop Proceedings, стр. 62-74. CEUR-WS.org, (2020)A Generic Framework for the Analysis of Heterogeneous Legacy Software Systems., , , и . BENEVOL, том 2361 из CEUR Workshop Proceedings, стр. 24-28. CEUR-WS.org, (2018)Guarded impredicative polymorphism., , , и . PLDI, стр. 783-796. ACM, (2018)Exploiting Annotations to Test Break-off Branches., , и . APSEC, стр. 80-87. IEEE Computer Society, (2015)Predicting resource consumption of higher-order workflows., , , и . PEPM, стр. 99-110. ACM, (2017)Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics., и . PEPM, стр. 127-138. ACM, (2015)