As a scientific programming language, Julia strives for performance but ...
Dynamic programming languages face semantic and performance challenges i...
Semantic subtyping enables simple, set-theoretical reasoning about types...
In this paper we consider the problem of certified static checking of
mo...