1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.PL2020
World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version)
Julia Belyakova, Benjamin Chung, Jack Gelinas +3
Dynamic programming languages face semantic and performance challenges in the presence of features, such as eval, that can inject new code into a running program. The Julia program…
cs.PL2019★ 1 cited
Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions
Julia Belyakova
Semantic subtyping enables simple, set-theoretical reasoning about types by interpreting a type as the set of its values. Previously, semantic subtyping has been studied primarily…
cs.PL2017
Generic Approach to Certified Static Checking of Module-like Constructs
Julia Belyakova
In this paper we consider the problem of certified static checking of module-like constructs of programming languages. We argue that there are algorithms and properties related to…