activity
20222026
most citedLipschitz Continuity of Spectra of Pseudodifferential Operators in a Weighted Sjöstrand Class and Gabor Frame Bounds

1 citations · 1 across the 7 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2025

Compiling Gradual Types with Evidence

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…