Julia: A fast dynamic language for technical computing
J Bezanson, S Karpinski, VB Shah… - ar**: a rational reconstruction
Programming languages that support multiple dispatch rely on an expressive notion of
subty** to specify method applicability. In these languages, type annotations on method …
subty** to specify method applicability. In these languages, type annotations on method …
A type system for Julia
B Chung - 2023 - search.proquest.com
The Julia programming language was designed to fill the needs of scientific computing by
combining the benefits of productivity and performance languages. Julia allows users to …
combining the benefits of productivity and performance languages. Julia allows users to …
Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementations
We present a new type system for verifying the security of reference implementations of
cryptographic protocols written in a core functional programming language. The type system …
cryptographic protocols written in a core functional programming language. The type system …
Abstraction in technical computing
JW Bezanson - 2015 - dspace.mit.edu
Array-based programming environments are popular for scientific and technical computing.
These systems consist of built-in function libraries paired with high-level languages for …
These systems consist of built-in function libraries paired with high-level languages for …
Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects
N Kudasov, V Sim - Proceedings of the 24th ACM International …, 2022 - dl.acm.org
Many calculi exist for modeling various features of object-oriented languages. Many of them
are based on λ-calculus and focus either on statically typed class-based languages or …
are based on λ-calculus and focus either on statically typed class-based languages or …
Polymorphic symmetric multiple dispatch with variance
Many object-oriented languages provide method overloading, which allows multiple method
declarations with the same name. For a given method invocation, in order to choose what …
declarations with the same name. For a given method invocation, in order to choose what …
Decidable tag-based semantic subty** for nominal types, tuples, and unions
J Belyakova - Proceedings of the 21st Workshop on Formal …, 2019 - dl.acm.org
Semantic subty** enables simple, set-theoretical reasoning about types by interpreting a
type as the set of its values. Previously, semantic subty** has been studied primarily in the …
type as the set of its values. Previously, semantic subty** has been studied primarily in the …
Fast flexible function dispatch in Julia
Technical computing is a challenging application area for programming languages to
address. This is evinced by the unusually large number of specialized languages in the area …
address. This is evinced by the unusually large number of specialized languages in the area …