Julia Belyakova
Julia Belyakova
Northeastern University, Khoury College of Computer Sciences
Verified email at northeastern.edu - Homepage
Title
Cited by
Cited by
Year
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
92018
Language support for generic programming in object-oriented languages: peculiarities, drawbacks, ways of improvement
J Belyakova
Brazilian Symposium on Programming Languages, 1-15, 2016
92016
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
92015
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
22019
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
Concept Parameters as a New Mechanism of Generic Programming for C# Language
J Belyakova
2016
Language support for generic programming in object-oriented languages: design challenges
B Julia
Труды Института системного программирования РАН 28 (2), 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–7