Julia subtyping: a rational reconstruction F Zappa Nardelli, J Belyakova, A Pelenitsyn, B Chung, J Bezanson, ... Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018 | 46 | 2018 |
Pitfalls of C# Generics and Their Solution Using Concepts J Belyakova, S Mikhalkovich Proceedings of the Institute for System Programming 27 (3), 29–45, 2015 | 12 | 2015 |
Language support for generic programming in object-oriented languages: peculiarities, drawbacks, ways of improvement J Belyakova Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil …, 2016 | 11 | 2016 |
World age in julia: Optimizing method dispatch in the presence of eval J Belyakova, B Chung, J Gelinas, J Nash, R Tate, J Vitek Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-26, 2020 | 10 | 2020 |
Type stability in Julia: avoiding performance pathologies in JIT compilation A Pelenitsyn, J Belyakova, B Chung, R Tate, J Vitek Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-26, 2021 | 8 | 2021 |
Decidable tag-based semantic subtyping for nominal types, tuples, and unions J Belyakova Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs …, 2019 | 5 | 2019 |
Just typeical: Visualizing common function type signatures in r C Moy, J Belyakova, A Turcotte, S Di Bartolomeo, C Dunne 2020 IEEE Visualization Conference (VIS), 121-125, 2020 | 2 | 2020 |
World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version) J Belyakova, B Chung, J Gelinas, J Nash, R Tate, J Vitek arXiv preprint arXiv:2010.07516, 2020 | 2 | 2020 |
Concept Parameters as a New Mechanism of Generic Programming for C# Language J Belyakova Proc. ECOOP 2016 Doctoral Symposium, 2016 | 1 | 2016 |
Decidable Subtyping of Existential Types for Julia (Extended Version) J BELYAKOVA, B CHUNG, R TATE, JAN VITEK | | 2024 |
Decidable Subtyping of Existential Types for Julia J Belyakova, B Chung, R Tate, J Vitek submission (2023).(cited on p. 4), 2023 | | 2023 |
Type Stability in Julia A PELENITSYN, J BELYAKOVA, B CHUNG, R TATE, JAN VITEK | | 2021 |
Generic Approach to Certified Static Checking of Module-like Constructs J Belyakova Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs …, 2017 | | 2017 |
Language support for generic programming in object-oriented languages: design challenges B Julia Труды Института системного программирования РАН 28 (2), 5-32, 2016 | | 2016 |