5 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
José Luis Romero, Cristóbal Isla, Matías Toro +1
Efficiently supporting sound gradual typing in a language with structural types is challenging. To date, the Grift compiler is the only close-to-the-metal implementation of gradual…