102 citations · 202 across the 10 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023★ 13 cited
Polymorphic Type Inference for Dynamic Languages
Giuseppe Castagna, Mickaël Laurent, Kim Nguyen
We present a type system that combines, in a controlled way, first-order polymorphism with intersectiontypes, union types, and subtyping, and prove its safety. We then define a typ…
cs.PL2023★ 9 cited
The Design Principles of the Elixir Type System
Giuseppe Castagna, Guillaume Duboc, José Valim
Elixir is a dynamically-typed functional language running on the Erlang Virtual Machine, designed for building scalable and maintainable applications. Its characteristics have earn…