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.

 

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

A Type System for Julia.. CoRR, (2023)Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Artifact)., , , , и . (сентября 2021)Type-directed, whitespace-delimited parsing for embedded DSLs., , , , и . GlobalDSL@ECOOP, стр. 8-11. ACM, (2013)Type-specific languages to fight injection attacks., , , , , и . HotSoS, стр. 18. ACM, (2014)ProGNet: prostate gland segmentation on MRI with deep learning., , , , , , , , , и 1 other автор(ы). Medical Imaging: Image Processing, том 11596 из SPIE Proceedings, SPIE, (2021)Safely Composable Type-Specific Languages., , , , , и . ECOOP, том 8586 из Lecture Notes in Computer Science, стр. 105-130. Springer, (2014)Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl)., , и . ECOOP, том 134 из LIPIcs, стр. 24:1-24:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Decidable Subtyping of Existential Types for Julia., , , и . Proc. ACM Program. Lang., 8 (PLDI): 1091-1114 (2024)KafKa: Gradual Typing for Objects., , , и . ECOOP, том 109 из LIPIcs, стр. 12:1-12:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)A systematic analysis of the science of sandboxing., , , и . PeerJ Comput. Sci., (2016)