Gradual Typing Using Union Typing With Records. - Karla Ramírez Pulido; Jorge Luis Ortega-Arjona; Lourdes Del Carmen González-Huesca (LANMR (Selected Papers), 2019)

Extensión de un sistema de tipos gradual para registros usando tipos unión - Karla Ramírez Pulido (2022)