research
∙
09/04/2021
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version)
As a scientific programming language, Julia strives for performance but ...
share
research
∙
10/15/2020
World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version)
Dynamic programming languages face semantic and performance challenges i...
research
∙
12/17/2019
Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions
Semantic subtyping enables simple, set-theoretical reasoning about types...
research
∙
06/19/2017