Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Duboc, Guillaume"'
Autor:
Castagna, Giuseppe, Duboc, Guillaume
We define several techniques to extend gradual typing with semantic subtyping, specifically targeting dynamic languages. Focusing on the Elixir programming language, we provide the theoretical foundations for its type system. Our approach demonstrate
Externí odkaz:
http://arxiv.org/abs/2408.14345
Publikováno v:
The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 2, Article 4
Elixir is a dynamically-typed functional language running on the Erlang Virtual Machine, designed for building scalable and maintainable applications. Its characteristics have earned it a surging adoption by hundreds of industrial actors and tens of
Externí odkaz:
http://arxiv.org/abs/2306.06391
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.