APA (7th ed.) Citation

Romero, J. L., Isla, C., Toro, M., & Tanter, É. (2025). Compiling Gradual Types with Evidence.

Chicago Style (17th ed.) Citation

Romero, José Luis, Cristóbal Isla, Matías Toro, and Éric Tanter. Compiling Gradual Types with Evidence. 2025.

MLA (9th ed.) Citation

Romero, José Luis, et al. Compiling Gradual Types with Evidence. 2025.